Papers
arxiv:2201.00540
Automated Generation of Illustrations for Synthetic Geometry Proofs
Published on Jan 3, 2022
Authors:
Abstract
A modular approach generates illustrations for synthetic geometry proofs using automated provers and GCLC language, with support for animations.
AI-generated summary
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.
Models citing this paper 0
No model linking this paper
Cite arxiv.org/abs/2201.00540 in a model README.md to link it from this page.
Datasets citing this paper 0
No dataset linking this paper
Cite arxiv.org/abs/2201.00540 in a dataset README.md to link it from this page.
Spaces citing this paper 0
No Space linking this paper
Cite arxiv.org/abs/2201.00540 in a Space README.md to link it from this page.
Collections including this paper 0
No Collection including this paper
Add this paper to a
collection
to link it from this page.