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/2907
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.date.accessioned2025-11-14T14:27:39Z-
dc.date.available2025-11-14T14:27:39Z-
dc.date.issued2010-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/2907-
dc.description.abstractWe 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.en_US
dc.language.isoenen_US
dc.publisherRome : Universita Sapientiaen_US
dc.titleGeometry Tools GCLC and WinGCLCen_US
dc.typeConference Objecten_US
dc.relation.conferenceSeminari di geometria dinamica(2010 ; Rome)en_US
dc.relation.publicationSeminari di geometria dinamica 2010en_US
dc.identifier.urlhttp://www.nuovacultura.it/prodotto.php?ipd=1238-
dc.identifier.urlhttps://poincare.matf.bg.ac.rs/~janicic//papers/2010-seminari-gclc.pdf-
dc.description.rankM33en_US
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openairetypeConference Object-
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.