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/493
DC FieldValueLanguage
dc.contributor.authorJaničić, Predragen_US
dc.contributor.authorNarboux, Julienen_US
dc.date.accessioned2022-08-13T10:14:39Z-
dc.date.available2022-08-13T10:14:39Z-
dc.date.issued2021-12-30-
dc.identifier.issn20752180en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/493-
dc.description.abstractWe report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated using the Larus automated prover for coherent logic, and corresponding illustrations are generated in the GCLC language. Animated illustrations are also supported.en_US
dc.language.isoenen_US
dc.publisherOpen Publishing Associationen_US
dc.relation.ispartofElectronic Proceedings in Theoretical Computer Science, EPTCSen_US
dc.titleAutomated Generation of Illustrations for Synthetic Geometry Proofsen_US
dc.typeArticleen_US
dc.identifier.doi10.4204/EPTCS.352.9-
dc.identifier.scopus2-s2.0-85122286244-
dc.identifier.isi001050127400010-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/85122286244-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.issn2075-2180en_US
dc.relation.firstpage91en_US
dc.relation.lastpage102en_US
dc.relation.volume352en_US
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.languageiso639-1en-
item.grantfulltextnone-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

3
checked on Apr 1, 2025

Page view(s)

17
checked on Jan 19, 2025

Google ScholarTM

Check

Altmetric

Altmetric


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