Section 14: Mathematical Aspects of Computer Science

Complexity theory and efficient algorithms. Parallelism. Formal languages and mathematical machines. Cryptography. Semantics and verification of programs. Computer aided conjectures testing and theorem proving. Symbolic computation. Quantum computing.
Connections with sections 1, 2, 3, 4, 12

ICM'98 homepage

Please send suggestions and corrections to: helmberg@zib.de
Last modified: February, 1998