Evolutionary Algorithms Parameter Tuning to Solve the Root Identification Problem in Geometric Constraint Solving: A case of study with PBIL and CHC Algorithms
This program is an interactive geometry software with proof related features.
The project consist in producing an interactive proof software for geometry.
GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems.
Geolog is a logic programming language for finitary geometric logic. These webnotes describe how to use a Geolog interpreter written in Prolog, called Geoprolog. These notes also provide examples showing how to prove some interesting mathematical theorems using Geoprolog. Another section (§8) discusses an interactive version of the software that connects a Prolog prover with a Java GUI.
D. Michelucci, and S. Foufou. SPM '09: 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, page 343--348. New York, NY, USA, ACM, (2009)
C. Essert-Villard. International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 151-160. Springer, (2002)