Open Source Prover in the Attic

Zoltán Kovács
(The Private University College of Education of the Diocese of Linz, Austria)
Alexander Vujic
(The Private University College of Education of the Diocese of Linz, Austria)

The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we are looking at whether it is possible to continue such a large project as a newcomer without the involvement of the original authors. Is there a way to internationalize, fix bugs, improve the code base, add new features? In other words, to save a relic found in the attic and polish it into a useful everyday tool.

In Pedro Quaresma and Zoltán Kovács: Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023), Belgrade, Serbia, 20-22th September 2023, Electronic Proceedings in Theoretical Computer Science 398, pp. 53–61.
Published: 22nd January 2024.

ArXived at: https://dx.doi.org/10.4204/EPTCS.398.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org