user- Evolutionary Algorithms Parameter Tuning to Solve the Root Identification Problem in Geometric Constraint Solving: A case of study with PBIL and CHC Algori...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....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 Geop...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.
- PPSN, volume 2439 of Lecture Notes in Computer Science, page 759-768. Springer, (2002)
- J. Comput. Inf. Sci. Eng. 1(4):341-346 (2001)
- Delft University of Technology, (2008)
- IJCAI, page 233-238. Morgan Kaufmann, (2003)
- SPM '09: 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, page 343--348. New York, NY, USA, ACM, (2009)
- UNIVERSITY OF FLORIDA, (2001)
- Journal of Computing and Information Science in Engineering 6(2):139-148 (2006)
- Symposium on Solid Modeling and Applications, page 105-115. (2002)
- Computers & Graphics 21(5):599-609 (1997)
- ACM Trans. Graph. 18(1):35-55 (1999)
- Appl. Intell. 22(2):109-124 (2005)
- Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial (2003)
- sccg (2001)
- Computer-Aided Design 36(2):123-140 (2004)
- Automated Deduction in Geometry (2004)
- SAC, page 974-978. ACM, (2006)
- SAC, page 1838-1842. ACM, (2008)
- SAC, page 773-777. ACM, (2007)
- GMAG, page 14-21. (2003)
- International Conference on Computational Science 2, volume 2330 of Lecture Notes in Computer Science, page 151-160. Springer, (2002)
