Automated Generation of Illustrations for Synthetic Geometry Proofs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Automated Generation of Illustrations for Synthetic Geometry Proofs

Predrag Janičić
  • Fonction : Auteur
  • PersonId : 864213

Résumé

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.
Fichier principal
Vignette du fichier
ProofIllustation.pdf (152.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03327987 , version 1 (27-08-2021)

Identifiants

Citer

Predrag Janičić, Julien Narboux. Automated Generation of Illustrations for Synthetic Geometry Proofs. Automated Deduction in Geometry, Zoltán Kovács, Sep 2021, Hagenberg, Austria. pp.91-102, ⟨10.4204/EPTCS.352.9⟩. ⟨hal-03327987⟩
29 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More