Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/493
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Janičić, Predrag | en_US |
dc.contributor.author | Narboux, Julien | en_US |
dc.date.accessioned | 2022-08-13T10:14:39Z | - |
dc.date.available | 2022-08-13T10:14:39Z | - |
dc.date.issued | 2021-12-30 | - |
dc.identifier.issn | 20752180 | en |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/493 | - |
dc.description.abstract | We 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 |
dc.relation.ispartof | Electronic Proceedings in Theoretical Computer Science, EPTCS | en |
dc.title | Automated Generation of Illustrations for Synthetic Geometry Proofs | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.doi | 10.4204/EPTCS.352.9 | - |
dc.identifier.scopus | 2-s2.0-85122286244 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85122286244 | - |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.firstpage | 91 | en |
dc.relation.lastpage | 102 | en |
dc.relation.volume | 352 | en |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairetype | Conference Paper | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-8922-4948 | - |
Appears in Collections: | Research outputs |
SCOPUSTM
Citations
2
checked on Dec 21, 2024
Page view(s)
16
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.