Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2907| Title: | Geometry Tools GCLC and WinGCLC | Authors: | Janičić, Predrag | Issue Date: | 2010 | Rank: | M33 | Publisher: | Rome : Universita Sapientia | Related Publication(s): | Seminari di geometria dinamica 2010 | Conference: | Seminari di geometria dinamica(2010 ; Rome) | Abstract: | We present geometry tools gclc and Wingclc. They are based on a custom-built language for declarative representation of geometry figures. There are automated geometry theorem provers built in gclc that directly link visual and semantical geometrical information with deductive properties and machine–generated proofs. So, gclc/Wingclc can serve as a powerful mechanized geometric assistant. The main areas of applications of gclc/Wingclc are in mathematical education, in publishing, in storing mathematical knowledge, and in studies of automated reasoning. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/2907 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.