Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2388| Title: | Geometrisation of Geometry | Authors: | Janičić, Predrag | Affiliations: | Informatics and Computer Science | Issue Date: | 2016 | Rank: | M33 | Publisher: | Strasbourg : University of Strasbourg | Related Publication(s): | Proceedings of the 11th International Workshop on Automated Deduction in Geometry ADG 2016 | Conference: | International Workshop Automated Deduction in Geometry ADG (11 ; 2016 ; Strasbourg) | Abstract: | Coherent logic (CL) is a fragment of first-order logic suitable for automation of proving process and also for formalization of various mathematical theories, including geometry. This paper gives an overview of several developments based on CL with geometry as the domain: automated theorem provers for CL, CL-based formalizations of geometry, CL-based proof representation, links between CL and geometry construction problems, links between CL and geometrical illustrations, etc. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/2388 |
| 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.