arXiv Open Access 2016

GeoGebra Tools with Proof Capabilities

Zoltán Kovács Csilla Sólyom-Gecse

Lihat Sumber

Abstrak

We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a result, a number of elementary theorems can be proven by using GeoGebra's intuitive user interface on various computer architectures including native Java and web based systems with JavaScript. We also provide a test suite for benchmarking our results with 200 test cases.

Topik & Kata Kunci

cs.AI

Penulis (2)

Zoltán Kovács

Csilla Sólyom-Gecse

Format Sitasi

APA MLA BibTeX

Kovács, Z., Sólyom-Gecse, C. (2016). GeoGebra Tools with Proof Capabilities. https://arxiv.org/abs/1603.01228

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2016
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓