Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/493| Title: | Automated Generation of Illustrations for Synthetic Geometry Proofs | Authors: | Janičić, Predrag Narboux, Julien |
Affiliations: | Informatics and Computer Science | Issue Date: | 30-Dec-2021 | Rank: | M33 | Publisher: | Open Publishing Association | Journal: | Electronic Proceedings in Theoretical Computer Science, EPTCS | 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. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/493 | ISSN: | 20752180 | DOI: | 10.4204/EPTCS.352.9 |
| Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
3
checked on Oct 27, 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.