Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Journal of Automated Reasoning
Erschienen in: Journal of Automated Reasoning 6/2021

26.04.2021

Automated Discovery of Geometric Theorems Based on Vector Equations

verfasst von: Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen

Erschienen in: Journal of Automated Reasoning | Ausgabe 6/2021

Einloggen

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

search-config
loading …

Abstract

Automated discovery of geometric theorems has attracted considerable attention from the research community. In this paper, a new method is proposed to discover geometric theorems automatically. This method first generates vector equations based on given geometric relations about a geometric figure and then transforms the vector equations into a system of homogeneous linear equations; after computing the determinants of the coefficient matrices corresponding to the system of equations, the elimination method is applied to obtain a large number of geometric relationships. The test on more than 200 geometric problems shows that the geometric relationships discovered automatically by the proposed method are of obvious geometric meaning.
Nächster Artikel On the Importance of Domain Model Configuration for Automated Planning Engines

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 "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

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
Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Jiang, J.G., Zhang, J.Z.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. 25(4), 802–820 (2012)MathSciNetCrossRef
2.
Wu, W.T.: Mechanical Theorem Proving in Geometries: Basic Principles. Springer, New York (1994)CrossRef
3.
Wu, W.T.: Mathematics Mechanization. Science Press, Kluwer (2000)
4.
Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)CrossRef
5.
6.
Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. J. Autom. Reason. 25(3), 219–246 (2000)MathSciNetCrossRef
7.
Li, S.Z., Wang, D.M., Zhang, J.Z.: Symbolic Computation and Education. World Scientific, Singapore (2007)CrossRef
8.
Botana, F., Hohenwarter, M., Janicic, P., Kovács, Z., Petrović, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reason. 55(1), 39–59 (2015)MathSciNetCrossRef
9.
Ye, Z., Chou, S.C., Gao, X.S.: Visually dynamic presentation of proofs in plane geometry. J. Autom. Reason. 45(3), 213–241 (2010)CrossRef
10.
Todd, P.: Geometry expressions: a constraint based interactive symbolic geometry system. In: Proc. of the 6th International Workshop on Automated Deduction in Geometry (ADG 2006). LNAI 6877. Springer, Berlin, Heidelberg, New York, pp. 189–202 (2007)
11.
Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Comput. Educ. 38(1–3), 21–35 (2002)CrossRef
12.
Zhang, J.Z., Peng, X.C., Chen, M.: Self-evident automated proving based on point geometry from the perspective of Wu’s method identity. J. Syst. Sci. Complex. 32(1), 78–94 (2019)MathSciNetCrossRef
13.
Jie, Z., Wang, D., Yao, S.: Automated reducible geometric theorem proving and discovery by Gröbner basis method. J. Autom. Reason. 59(3), 1–14 (2016)
14.
Chou, S.C.: Proving and Discovering Theorems in Elementary Geometries Using Wu’s Method Ph.D. Thesis, Department of Mathematics, University of Texas, Austin (1985)
15.
Pech, P.: Selected Topics in Geometry with Classical vs. Computer Proving. World Scientific, Singapore (2007)CrossRef
16.
Recio, T., Vélez, M.P.: Automated discovering of theorems in elementary geometry. J. Autom. Reason. 23(1), 63–82 (1999)CrossRef
17.
Kutzler, B., Stifter, S.: On the application of Buchberger’s algorithm to automated geometry theorem proving. J. Symb. Comput. 2, 389–397 (1986)MathSciNetCrossRef
18.
Buchberger, B., Collins, G., Kutzler, B.: Algebraic methods for geometric reasoning. Annu. Rev. Comput. Sci. 3(19), 85–119 (1995)
19.
20.
Wang, D.M.: Elimination Practice. Software Tools and Applications. Imperial College Press, London (2004)CrossRef
21.
Kapur, D., Saxena, T., Yang, L.: Algebraic and geometric reasoning with dixon resultants. In: Proceedings of International Symposium on Symbolic and Algebraic Computation (Oxford, 1994). ACM Press, New York, pp. 99–107 (1994)
22.
Zhang, J.Z., Yang, L., Hou, X.R.: The sub-resultant method for automated theorem proving. J. Syst. Sci. Math. Sci. 15(1), 10–15 (1995)MATH
23.
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms, Undergraduate Texts in Mathematics. Springer, Berlin (1992)CrossRef
24.
Kapur, D.: Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets. In: Automated Deduction in Geometry. LNAI 1360. Springer, pp. 1–36 (1997)
25.
26.
Kapur, D.: Geometry theorem proving using Hilbert's Nullstellensatz. In: Proc. of SYMSAC’86, Waterloo, pp. 202–208 (1986)
27.
Johnson, R.A.: Advanced Euclidean Geometry. Houghton Mifflin Company, Boston (1929)
28.
Apollonius: Conics, Books I–III. Green Lion Press, Santa Fe (1997)
29.
Li, H.: Vectorial equations solving for mechanical geometry theorem proving. J. Autom. Reason. 25(2), 83–121 (2000)MathSciNetCrossRef
30.
Chou, S.C., Gao, X.S., Zhang, J.Z.: Mechanical geometry theorem proving by vector calculation. In: Proc. ISSAC93, Kiev. ACM Press, pp. 284–291 (1993)
31.
Ge, Q., Zhang, J.Z., Chen, M., Peng, X.C.: Automated geometry readable proving based on vector. Chin. J. Comput. 37(8), 1809–1819 (2014)MathSciNet
Metadaten
Titel
Automated Discovery of Geometric Theorems Based on Vector Equations
verfasst von
Xicheng Peng
Qihang Chen
Jingzhong Zhang
Mao Chen
Publikationsdatum
26.04.2021
Verlag
Springer Netherlands
Erschienen in
Journal of Automated Reasoning / Ausgabe 6/2021
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI
https://doi.org/10.1007/s10817-021-09591-2

Premium Partner

    Bildnachweise