WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Proceedings of the 2007 ACM symposium on Applied computing
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Theoretical Computer Science
Hi-index | 5.23 |