AI Chat AI Image Generator AI Video Text to Speech

Automated Generation of Illustrations for Synthetic Geometry Proofs

01/03/2022

∙

by Predrag Janicic, et al.

∙

∙

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.

Predrag Janicic
6 publications
Julien Narboux
2 publications

page 1

page 2

page 3

page 4

research

∙ 02/08/2022

Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

The introduction of automated deduction systems in secondary schools fac...

0 Pedro Quaresma, et al. ∙

research

∙ 02/28/2020

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

When working on intelligent tutor systems designed for mathematics educa...

0 Ludovic Font, et al. ∙

research

∙ 04/28/2021

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)

The material presented in this paper contributes to establishing a basis...

0 Christoph Wernhard, et al. ∙

research

∙ 05/07/2020

GeoLogic – Graphical interactive theorem prover for Euclidean geometry

Domain of mathematical logic in computers is dominated by automated theo...

0 Miroslav Olšák, et al. ∙

research

∙ 02/28/2020

Towards a Geometry Automated Provers Competition

The geometry automated theorem proving area distinguishes itself by a la...

0 Nuno Baeta, et al. ∙

research

∙ 03/05/2018

Improving QED-Tutrix by Automating the Generation of Proofs

The idea of assisting teachers with technological tools is not new. Math...

0 Ludovic Font, et al. ∙

research

∙ 05/17/2019

Isabelle technology for the Archive of Formal Proofs with application to MMT

This is an overview of the Isabelle technology behind the Archive of For...

0 Makarius Wenzel, et al. ∙