Zoltan Kovács,
"The portfolio prover in GeoGebra 5"
, in Botana, F. and Quaresma, P.: Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 July 2014, in Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), University of Coimbra, Portugal, Seite(n) 191--205, 2014, ISSN: 0874-338X

Original Titel:

The portfolio prover in GeoGebra 5

Sprache des Titels:

Englisch

Original Buchtitel:

Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 July 2014

Original Kurzfassung:

GeoGebra is open source mathematics education software being used in
thousands of schools worldwide. Its forthcoming new version 5 will support
automatic geometry theorem proving by using various methods which are already well
known, but not widely used in an education software.
GeoGebra's new embedded prover system chooses one of the available methods and
translates the problem constructed by the end user as the input for the
selected method, similarly to portfolio solvers. The applicable methods
include Wu's method, the Buchberger-Kapur method, the Area method and
Recio's exact check method, some of them as embedded algorithms, others
as outsourced computations. Since GeoGebra maintains the development
in an open-sourced way by collaborating with the OpenGeoProver, Singular
and Giac projects as well,
further enhancements can be expected by a larger community, including
implementing other methods as well.

Sprache der Kurzfassung:

Englisch

Englische Kurzfassung:

GeoGebra is open source mathematics education software being used in
thousands of schools worldwide. Its forthcoming new version 5 will support
automatic geometry theorem proving by using various methods which are already well
known, but not widely used in an education software.
GeoGebra's new embedded prover system chooses one of the available methods and
translates the problem constructed by the end user as the input for the
selected method, similarly to portfolio solvers. The applicable methods
include Wu's method, the Buchberger-Kapur method, the Area method and
Recio's exact check method, some of them as embedded algorithms, others
as outsourced computations. Since GeoGebra maintains the development
in an open-sourced way by collaborating with the OpenGeoProver, Singular
and Giac projects as well,
further enhancements can be expected by a larger community, including
implementing other methods as well.

Journal:

Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014)

Veröffentlicher:

University of Coimbra, Portugal

Seitenreferenz:

191--205

Erscheinungsjahr:

2014

ISSN:

0874-338X

Anzahl der Seiten:

15

Reichweite:

international

Publikationstyp:

Aufsatz / Paper in sonstiger referierter Fachzeitschrift