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.
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.
Evolutionary Algorithms Parameter Tuning to Solve the Root Identification Problem in Geometric Constraint Solving: A case of study with PBIL and CHC Algorithms
The field of Quantum Information Science is the most challenging and hot topic among all branches of science. This field is also quite interdisciplinary in character, and people from quantum theory, computer science, mathematics, information theory, condensed matter physics, many-body physics and many more have been actively involved to understand implications of quantum mechanics in information processing.
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, volume 47 of Fundamental Theories of Physics, Springer Netherlands, (1992)
V. Aggarwal, and U. O'Reilly. Genetic Programming Theory and Practice IV, volume 5 of Genetic and Evolutionary Computation, chapter 7, Springer, Ann Arbor, (11-13 May 2006)
S. Chaplick, M. De, A. Ravsky, and J. Spoerhase. Proc. 26th Annual European Symposium on Algorithms (ESA'18), 112, page 17:1--17:15. (2018)(also presented as brief announcement at ICALP'18).
J. Oung, M. Sitharam, B. Moro, and A. Arbree. Symposium on Solid Modeling and Applications, page 307-308. (2001)See also http://www.cise.ufl.edu/~sitharam/.
T. Chin, \. Bustos, M. Brown, and D. Suter. Proceedings of the 18th Meeting of the ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, page 55--62. New York, NY, USA, ACM, (2014)
A. Berg, and J. Malik. Computer Vision and Pattern Recognition, 2001. CVPR 2001. Proceedings
of the 2001 IEEE Computer Society Conf. on, 1, page I----607----I----614 vol.1. (2001)
S. Bereg. SCG '05: Proceedings of the twenty-first annual symposium on Computational geometry, page 73--80. New York, NY, USA, ACM, (2005)Program Chair-Joe Mitchell and Program Chair-Günter Rote.
C. Essert-Villard. International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 151-160. Springer, (2002)
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)
R. Klein. http://wwwpi6.fernuni-hagen.de/Lehre/Kurse/Geometrie/demo.pdf, (April 1998)öffentliche Schnupperfassung der Kurseinheiten 1
und 2 zum Kurs~1840 der FernUniversität Hagen.