Mechanical geometry theorem proving
Mechanical geometry theorem proving
Multimedia Tools for Communicating Mathematics
Multimedia Tools for Communicating Mathematics
GRAMY: A Geometry Theorem Prover Capable of Construction
Journal of Automated Reasoning
WinGCLC: a workbench for formally describing figures
SCCG '03 Proceedings of the 19th spring conference on Computer graphics
The TeXbook
Integrating dynamic geometry software, deduction systems, and theorem repositories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
System description: GCLCprover + geothms
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Geometry Constructions Language
Journal of Automated Reasoning
Towards an electronic geometry textbook
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Automatic verification of regular constructions in dynamic geometry systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Thousands of geometric problems for geometric theorem provers (TGTP)
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Journal of Automated Reasoning
Towards understanding triangle construction problems
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
We present gclc/Wingclc — a tool for visualizing geometrical (and not only geometrical) objects and notions, for teaching/studying mathematics, and for producing mathematical illustrations of high quality. gclc uses a language gc for declarative representation of figures and for storing mathematical contents of visual nature in textual form. In gclc, there is a build-in geometrical theorem prover which directly links visual and semantical geometrical information with deductive properties and machine–generated proofs.