1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/2388
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.date.accessioned2025-08-28T12:56:03Z-
dc.date.available2025-08-28T12:56:03Z-
dc.date.issued2016-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/2388-
dc.description.abstractCoherent 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.en_US
dc.language.isoenen_US
dc.publisherStrasbourg : University of Strasbourgen_US
dc.titleGeometrisation of Geometryen_US
dc.typeConference Objecten_US
dc.relation.conferenceInternational Workshop Automated Deduction in Geometry ADG (11 ; 2016 ; Strasbourg)en_US
dc.relation.publicationProceedings of the 11th International Workshop on Automated Deduction in Geometry ADG 2016en_US
dc.identifier.urlhttps://www.researchgate.net/publication/304425584_Proceedings_of_ADG_2016-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM33en_US
dc.relation.firstpage1en_US
dc.relation.lastpage14en_US
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairetypeConference Object-
item.cerifentitytypePublications-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.