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 | 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
2
checked on Dec 21, 2024
Page view(s)
16
checked on Dec 23, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.