We survey some algebraic geometric aspects of mirror symmetry and duality in string theory. Some applications of computer algebra to algebraic geometry and string theory are shortly reviewed.

The Hermitian variety H(5, 4) has no ovoid Jan De Beule Department of Pure Mathematics and Computer Algebra Ghent University Krijgslaan 281, S22 B 9000 Gent Belgium ([email protected], http://cage.ugent.be/∼jdebeule) (joint work with Klaus Metsch) We consider the Hermitian varieties H(2n + 1, q). An ovoid O is a set of points of H(2n + 1, q) such that every generator of H(2n + 1, q) meets ...

Calculemus research aims at the integration of systems for symbolic computation and symbolic reasoning and is related to the QPQ initiative. It is in the spirit of both projects to discuss these connections and potential collaborations. The following text sketches the structure and scientific contributions of the Calculemus Research Training Network (Calculemus RTN; see Figure 1 for the partner...

We report on the application of computer algebra, in particular the REDUCE package Dimsym, to the problem of finding spacetime symmetries in general relativity.