Design theory
Symbolic incidence geometry and finite linear spaces
Proceedings of the first International conference on Linear spaces
Finite geometries
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Interactive Theorem Proving and Finite Projective Planes
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
| Hi-index | 0.01 |