nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Towards an Automated Geometer

verfasst von : Francisco Botana, Zoltán Kovács, Tomás Recio

Erschienen in: Artificial Intelligence and Symbolic Computation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We report on preliminary work towards the automated finding of theorems in elementary geometry. The resulting system is being currently implemented on top of GeoGebra, a dynamic geometry system with millions of users at high schools and universities. Our system exploits GeoGebra’s recently added new functionalities concerning automated reasoning tools in geometry. We emphasize that the method for finding geometric properties that are present on a user-provided construction is purely symbolic, thus giving such properties rigorous mathematical certainty. We describe some generalities about the system we are developing, which are illustrated through an example.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel : A Linear Algebra Textbook System

Nächstes Kapitel Automatic Deduction in an AI Geometry Book

Lenat, D.B.: Automated theory formation in mathematics. Contemp. Math. 29, 287–314 (1984)MathSciNetCrossRef

de Guzmán, M.: La experiencia de descubrir en geometría. Nivola (2002)

Bagai, R., Shanbhogue, V., Żytkow, J.M., Chou, S.C.: Automatic theorem generation in plane geometry. In: Komorowski, J., Raś, Z.W. (eds.) ISMIS 1993. LNCS, vol. 689, pp. 415–424. Springer, Heidelberg (1993). https://doi.org/10.1007/3-540-56804-2_39CrossRef

Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. J. Autom. Reason. 25, 219–246 (2000)MathSciNetCrossRef

Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74, 333–358 (2015)MathSciNetCrossRef

Botana, F., Hohenwarter, M., Janicic, P., Kovács, Z., Petrovic, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reason. 55, 39–59 (2015)MathSciNetCrossRef

Magajna, Z.: OK Geometry. http://z-maga.si/index?action=article&id=40. Accessed 3 May 2018

The GeoGebra Team: Reference: GeoGebra Apps API. https://wiki.geogebra.org/en/Reference:GeoGebra_Apps_API. Accessed 10 May 2018

Kovács, Z., Parisse, B.: Giac and GeoGebra - improved Gröbner basis computations. In: Gutierrez, J., Schicho, J., Weimann, M. (eds.) Computer Algebra and Polynomials. LNCS, vol. 8942, pp. 126–138. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-15081-9_7CrossRefMATH

10.

Bright, P.: The web is getting its bytecode: WebAssembly. Condé Nast (2015)

11.

Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63–82 (1999)MathSciNetCrossRef

12.

Gao, H., Goto, Y., Cheng, J.: A set of metrics for measuring interestingness of theorems in automated theorem finding by forward reasoning: a case study in NBG set theory. In: He, X. (ed.) IScIDE 2015. LNCS, vol. 9243, pp. 508–517. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23862-3_50CrossRef

13.

Botana, F., Kovács, Z., Martínez-Sevilla, A., Recio, T.: Automatically augmented reality with GeoGebra (to appear)

14.

Abánades, M., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C.: Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebr. 50, 85–88 (2016)MathSciNetCrossRef

Titel: Towards an Automated Geometer
verfasst von: Francisco Botana
Zoltán Kovács
Tomás Recio
Verlag: Springer International Publishing
Buch: Artificial Intelligence and Symbolic Computation
Print ISBN: 978-3-319-99956-2

Electronic ISBN: 978-3-319-99957-9

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-99957-9_15

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"