Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/501
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.date.accessioned2022-08-13T10:14:41Z-
dc.date.available2022-08-13T10:14:41Z-
dc.date.issued2010-02-01-
dc.identifier.issn01687433en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/501-
dc.description.abstractGeometry Constructions Language (gcl) is a language for explicit descriptions of constructions in Euclidean plane and of their properties. Other mathematical objects can also be described in the language. The language gcl is intuitive and simple, yet it supports arrays, flow control structures, user-defined procedures, etc. The processors for the gcl language-applications gclc and Wingclc-enable visualization of described objects and producing of mathematical illustrations, provide different semantical information and support for automated proving of properties of the constructed objects. These features make the tools gclc and Wingclc powerful mechanized geometry systems and they have thousands of users worldwide. © 2009 Springer Science+Business Media B.V.en_US
dc.relation.ispartofJournal of Automated Reasoningen_US
dc.subjectAutomated geometry theorem provingen_US
dc.subjectDynamic geometry softwareen_US
dc.subjectGeometric constructionsen_US
dc.titleGeometry constructions languageen_US
dc.typeArticleen_US
dc.identifier.doi10.1007/s10817-009-9135-8-
dc.identifier.scopus2-s2.0-74249114609-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/74249114609-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.volume44en_US
dc.relation.issue1-2en_US
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

26
checked on Dec 21, 2024

Page view(s)

19
checked on Dec 25, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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