Automated Generation of Illustrations for Synthetic Geometry Proofs

Autor:	Janičić, Predrag, Narboux, Julien
Rok vydání:	2022
Předmět:	Computer Science - Logic in Computer Science Computer Science - Symbolic Computation
Zdroj:	EPTCS 352, 2021, pp. 91-102
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.352.9
Popis:	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. Comment: In Proceedings ADG 2021, arXiv:2112.14770
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2201.00540 Zobrazit plný text záznamu View this record from Arxiv