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
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Rigid Body Dynamics and Conformal Geometric Algebra Kapitel lesen Erstes Kapitel lesen

2011 | OriginalPaper | Buchkapitel

10. On Geometric Theorem Proving with Null Geometric Algebra

verfasst von : Hongbo Li, Yuanhao Cao

Erschienen in: Guide to Geometric Algebra in Practice

Verlag: Springer London

Einloggen

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

search-config
loading …

Abstract

The bottleneck in symbolic geometric computation is middle expression swell. Another embarrassing problem is geometric explanation of algebraic results, which is often impossible because the results are not invariant under coordinate transformations. In classical invariant-theoretical methods, the two difficulties are more or less alleviated but stay, while new difficulties arise.
In this chapter, we introduce a new framework for symbolic geometric computing based on conformal geometric algebra: the algebra for describing geometric configuration is null Grassmann–Cayley algebra, the algebra for advanced invariant manipulation is null bracket algebra, and the algebra underlying both algebras is null geometric algebra. When used in geometric computing, the new approach not only brings about amazing simplifications in algebraic manipulation, but can be used to extend and generalize existing theorems by removing some geometric constraints from the hypotheses.

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 Color Object Recognition Based on a Clifford Fourier Transform
Nächstes Kapitel On the Use of Conformal Geometric Algebra in Geometric Constraint Solving
Fußnoten
1
Editorial note: This characterization of CGA is more restrictive than elsewhere in this book, where (10.19) is employed.
 
Literatur
1.
Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994) MATHCrossRef
2.
Hestenes, D., Sobczyk, G.: Clifford Algebra to Geometric Calculus. Reidel, Dordrecht (1984) MATH
3.
Li, H.: Automated theorem proving in the homogeneous model with Clifford bracket algebra. In: Dorst, L., et al. (eds.) Applications of Geometric Algebra in Computer Science and Engineering, pp. 69–78. Birkhäuser, Boston (2002) CrossRef
4.
Li, H.: Algebraic representation and elimination and expansion in automated geometric theorem proving. In: Winkler, F. (ed.) Automated Deduction in Geometry, pp. 106–123. Springer, Heidelberg (2004) CrossRef
5.
Li, H.: Automated geometric theorem proving, Clifford bracket algebra and Clifford expansions. In: Qian, T., et al. (eds.) Trends in Mathematics: Advances in Analysis and Geometry, pp. 345–363. Birkhäuser, Basel (2004) CrossRef
6.
Li, H.: Clifford algebras and geometric computation. In: Chen, F., Wang, D. (eds.) Geometric Computation, pp. 221–247. World Scientific, Singapore (2004) CrossRef
7.
Li, H.: Symbolic computation in the homogeneous geometric model with Clifford algebra. In: Gutierrez, J. (ed.) Proceedings of International Symposium on Symbolic and Algebraic Computation 2004, pp. 221–228. ACM Press, New York (2004) CrossRef
8.
Li, H.: A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. In: Brown, C.W. (ed.) Proc. ISSAC 2007, pp. 261–268. ACM Press, New York (2007) CrossRef
9.
Li, H.: Invariant Algebras and Geometric Reasoning. World Scientific, Singapore (2008) MATHCrossRef
10.
Li, H., Huang, L.: Complex brackets balanced complex differences, and applications in symbolic geometric computing. In: Proc. ISSAC 2008, pp. 181–188. ACM Press, New York (2008) CrossRef
11.
Li, H., Wu, Y.: Automated short proof generation in projective geometry with Cayley and Bracket algebras I. Incidence geometry. J. Symb. Comput. 36(5), 717–762 (2003) MATHCrossRef
12.
Li, H., Wu, Y.: Automated short proof generation in projective geometry with Cayley and Bracket algebras II. Conic geometry. J. Symb. Comput. 36(5), 763–809 (2003) MATHCrossRef
13.
Li, H., Hestenes, D., Rockwood, A.: Generalized homogeneous coordinates for computational geometry. In: Sommer, G. (ed.) Geometric Computing with Clifford Algebras, pp. 27–60. Springer, Heidelberg (2001)
14.
Muir, T.: A Treatise on the Theory of Determinants. Macmillan & Co., London (1882)
15.
Sommer, G. (ed.): Geometric Computing with Clifford Algebras. Springer, Heidelberg (2001) MATH
16.
Sturmfels, B.: Algorithms in Invariant Theory. Springer, Wien (1993) MATH
17.
Sturmfels, B., White, N. (eds.): Invariant-Theoretic Algorithms in Geometry. Special Issue. J. Symb. Comput. 11 (5/6) (2002)
18.
White, N. (ed.): Invariant Methods in Discrete and Computational Geometry. Kluwer, Dordrecht (1994)
19.
Wu, W.-T.: Mathematics Mechanization. Kluwer and Science Press, Beijing (2000) MATH
Metadaten
Titel
On Geometric Theorem Proving with Null Geometric Algebra
verfasst von
Hongbo Li
Yuanhao Cao
Copyright-Jahr
2011
Verlag
Springer London
Buch
Guide to Geometric Algebra in Practice

Print ISBN: 978-0-85729-810-2

Electronic ISBN: 978-0-85729-811-9

Copyright-Jahr: 2011

DOI
https://doi.org/10.1007/978-0-85729-811-9_10