Mechanical geometry theorem proving
Mechanical geometry theorem proving
Latex: a document preparation system
Latex: a document preparation system
The TeXbook
GeoThms --- a Web System for Euclidean Constructive Geometry
Electronic Notes in Theoretical Computer Science (ENTCS)
Geometry Constructions Language
Journal of Automated Reasoning
Integrating dynamic geometry software, deduction systems, and theorem repositories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
GCLC: a tool for constructive euclidean geometry and more than that
ICMS'06 Proceedings of the Second international conference on Mathematical Software
System description: GCLCprover + geothms
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.00 |
In this paper we discuss the problem of describing geometrical/mathematical fiures - the problem important for virtually all mathematicians. We also present our system WinGCLC, based on the idea of describing, rather than drawing figures. The system is suitable for use in teaching mathematics (and, especially, teaching geometry), for producing digital mathematical illustrations in different formats (including LATEX format and bitmap format), and sometimes even as a guidance in problem solving or in some pieces of research. The system is very handy and gives an easy-to-use support for a number of geometrical (and not only geometrical) devices, easy manipulation with objects, animation etc.