| Publication | Date of Publication | Type |
|---|
Two new ways to formally prove Dandelin-Gallucci's theorem
| 2025-01-20 | Paper |
Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach
| 2024-12-17 | Paper |
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
Journal of Automated Reasoning | 2024-04-29 | Paper |
Formalizing Some “Small” Finite Models of Projective Geometry in Coq
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
Two cryptomorphic formalizations of projective incidence geometry
Annals of Mathematics and Artificial Intelligence | 2019-05-16 | Paper |
On the mechanization of straightedge and compass constructions
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
Journal of Automated Reasoning | 2019-02-15 | Paper |
Using jointly geometry and algebra to determine RC-constructibility
Journal of Symbolic Computation | 2018-06-14 | Paper |
A robust and efficient method for solving point distance problems by homotopy
Mathematical Programming. Series A. Series B | 2017-05-15 | Paper |
Constructibility classes for triangle location problems
Mathematics in Computer Science | 2016-06-16 | Paper |
Automatic constructibility checking of a corpus of geometric construction problems
Mathematics in Computer Science | 2016-06-16 | Paper |
Wernick's list: a final update
Forum Geometricorum | 2016-03-24 | Paper |
Computer theorem proving for verifiable solving of geometric construction problems
Automated Deduction in Geometry | 2015-11-11 | Paper |
Equation systems with free-coordinates determinants
Automated Deduction in Geometry | 2013-09-20 | Paper |
A case study in formalizing projective geometry in Coq: Desargues theorem
Computational Geometry | 2012-09-11 | Paper |
Formalization of Wu's simple method in Coq
Certified Programs and Proofs | 2011-11-22 | Paper |
Formalizing projective plane geometry in Coq
Automated Deduction in Geometry | 2011-05-26 | Paper |
Using invariance under the similarity group to solve geometric constraint systems
CAD. Computer-Aided Design | 2011-03-04 | Paper |
INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH
International Journal of Computational Geometry & Applications | 2007-02-09 | Paper |
GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
International Journal of Computational Geometry & Applications | 2007-02-09 | Paper |
scientific article; zbMATH DE number 2087081 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1745043 (Why is no real title available?)
| 2002-05-23 | Paper |
Sketch-based pruning of a solution space within a formal geometric constraint solver
Artificial Intelligence | 2000-12-12 | Paper |
Geometric construction by assembling solved subfigures
Artificial Intelligence | 1998-08-13 | Paper |
