Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/527
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.contributor.authorQuaresma, Pedroen_US
dc.date.accessioned2022-08-13T10:14:44Z-
dc.date.available2022-08-13T10:14:44Z-
dc.date.issued2007-01-01-
dc.identifier.isbn354077355X-
dc.identifier.issn03029743en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/527-
dc.description.abstractWe present an application of automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for geometric constructions, we can use its processor to deal with syntactic errors. The processor can also detect semantic errors - situations when, for a given concrete set of geometrical objects, a construction is not possible. However, dynamic geometry tools do not test if, for a given set of geometrical objects, a construction is geometrically sound, i.e., if it is possible in a general case. Using ATP, we can do this last step by verifying the geometric constructions deductively. We have developed a system for the automatic verification of regular constructions (made within DGSs GCLC and Eukleides), using our ATP system, GCLCprover. This gives a real-world application of ATP in dynamic geometry tools. © Springer-Verlag Berlin Heidelberg 2007.en
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_US
dc.titleAutomatic verification of regular constructions in dynamic geometry systemsen_US
dc.typeConference Paperen_US
dc.relation.publicationInternational Workshop on Automated Deduction in Geometry ADG 2006en_US
dc.identifier.doi10.1007/978-3-540-77356-6_3-
dc.identifier.scopus2-s2.0-38549169438-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/38549169438-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.firstpage39en_US
dc.relation.lastpage51en_US
dc.relation.volume4869 LNAIen_US
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeConference Paper-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

14
checked on Dec 20, 2024

Page view(s)

18
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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