WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Formalizing Convex Hull Algorithms
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Formalizing the Trading Theorem for the Classification of Surfaces
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Formal Program Development in Geometric Modeling
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
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
Formalizing generalized maps in Coq
Theoretical Computer Science
Formalizing the trading theorem in Coq
Theoretical Computer Science
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Theoretical Computer Science
Flyspeck II: the basic linear programs
Annals of Mathematics and Artificial Intelligence
Formal study of plane delaunay triangulation
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.00 |