Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/496
Title: | Integrating dynamic geometry software, deduction systems, and theorem repositories | Authors: | Quaresma, Pedro Janičić, Predrag |
Affiliations: | Informatics and Computer Science | Issue Date: | 1-Jan-2006 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Abstract: | The axiomatic presentation of geometry fills the gap between formal logic and our spatial intuition. The study of geometry is, and will always be, very important for a mathematical practitioner. GCLCprover, an automatic theorem prover (ATP) integrated with dynamic geometry software (DGS) gives its user a tool to bridge his/her spatial intuition with formal, Euclidean geometry proofs. GeoThms, a system consisting of the mentioned programs and a database geoDB, provides a framework for exploring geometrical knowledge. A GeoThms user can browse through a list of available geometric problems, their statements, illustrations, and proofs. He/she can also interactively produce new geometrical constructions, theorems, and proofs and add new results to the existing ones. GeoThms framework provides an environment suitable for new ways of studying and teaching geometry at different levels. GeoThms also provides a system for storing mathematical knowledge (in a explicit, declarative form) -not only theorem statements, but also their (automatically generated) proofs and corresponding illustrations. © Springer-Verlag Berlin Heidelberg 2006. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/496 | ISBN: | 3540371044 | ISSN: | 03029743 | DOI: | 10.1007/11812289_22 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
9
checked on Dec 19, 2024
Page view(s)
12
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.