Invariant algebras and geometric reasoning

Invariant Algebras and Geometric Reasoning

Volumn , Issue , 2008, Pages 1-518

  Li, Hongbo ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85032069041     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1142/6514     Document Type: Book

References (211)

1. Abhyankar, S.S. Enumerative Combinatorics of Young Tableaux. Marcel Dekker, New York, 1988.
2. Abhyankar, S.S. Algebraic Geometry for Scientists and Engineers. American Mathematical Society, Providence, 1990.
3. Abhyankar, S.S. Invariant Theory and Enumerative Combinatorics of Young Tableaux. In: Mundy, J.L. and Zisserman, A. (eds.) Geometric Invariance in Computer Vision. MIT Press, Cambridge, Massachusetts, pp. 45-76, 1992.
4. Ablamowicz, R. and Sobczyk, G. (eds.) Lectures on Clifford Geometric Algebras and Applications. Birkhäuser, Boston, 2004.
5. Ahlfors, L.V. Möbius Transformations and Clifford Numbers. In: Chavel, I. and Farkas, H.M. (eds.), Differential Geometry and Complex Analysis, Springer, Berlin, Heidelberg, 1985.
6. Ahlfors, L.V. Möbius Transformations in Rn Expressed through 2 × 2 Matrices of Clifford Numbers. Complex Variables 5: 215-224, 1986.
7. Altmann, S.L. Rotations, Quaternions, and Double Groups. Oxford University Press, Oxford, 1986.
8. Angles, P. Conformal Groups in Geometry and Spin Structures, Birkhäuser, Boston, 2007.
9. Anick, D. and Rota, G.-C. Higher-Order Syzygies for the Bracket Algebra and for the Ring of Coordinates of the Grassmannian. Proc. Nat. Acad. Sci. 88(18): 8087-8090, 1991.
10. Arbarello, E., Cornalba, M., Griffiths, P.A., and Harris, J. Geometry of Algebraic Curves, Volume I. Springer, New York, 1985.
11. Artin, E. Geometric Algebra. Interscience, New York, 1957, 1988.
12. Atiyah, M.F., Bott, R. and Shapiro, A. Clifford Modules. Topology 3: 3-38, suppl. 1, 1964.
13. Balls, R.S. A Treatise on the Theory of Screws. Cambridge University Press, Cambridge, 1900.
14. Barnabei, M., Brini, A. and Rota, G.-C. On the Exterior Calculus of Invariant Theory. J. of Algebra 96: 120-160, 1985.
15. Baylis, W.E. (ed.) Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering, Birkhäuser Boston, 1996.
16. Bayro-Corrochano, E. and Lasenby, J. Object Modeling and Motion Analysis Using Clifford Algebra. In: Mohr, R. and Wu, C. (eds.), Proc. Europe-China Workshop on Geometric Modeling and Invariants for Computer Visions, Xi’an, China, pp. 143-149, 1995.
17. Bayro-Corrochano, E. and Sobczyk, G. (eds.) Geometric Algebra with Applications in Science and Engineering, Birkhäuser, Boston, 2001.
18. Bayro-Corrochano, E. and López-Franco, C. Omnidirectional Vision: Unified Model Using Conformal Geometry. ECCV’04 (1): 536-548, 2004.
19. Bayro-Corrochano, E. Robot Perception and Action Using Conformal Geometric Algebra. In: Bayro-Corrochano, E. (ed.), Handbook of Geometric Computing, Springer, Heidelberg, pp. 405-458, 2005.
20. Bayro-Corrochano E. and Falcon, L. E. Geometric Algebra of Points, Lines, Planes and Spheres for Computer Vision and Robotics. Robotica 23: 755-770, 2005.
21. Bayro-Corrochano, E., Reyes-Lozano, L. and Zamora-Esquivel, J. Conformal Geometric Algebra for Robotic Vision. Journal of Mathematical Imaging and Vision 24(1): 55-81, 2006.
22. Berger, M. Geometry I, II. Springer, 1987.
23. Bix, R. Conics and Cubics. Springer, 1998.
24. Blaschke, W. Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie. Vol. 3, Springer, Berlin, 1929.
25. Blaschke, W. Kinematik und Quaternionen. VEB Deutscher Verlag der Wissenschaften, Berlin, 1960.
26. Blumenthal, L.M. Theory and Applications of Distance Geometry. Cambridge University Press, Cambridge, 1953.
27. Bokowski, J. and Sturmfels, B. Computational Synthetic Geometry. LNM 1355, Springer, Berlin, Heidelberg. 1989.
28. Bravi, P. and Brini, A. Remarks on Invariant Geometric Calculus, Cayley-Grassmann Algebras and Geometric Clifford Algebras. In: Crapo, H. and Senato, D. (eds.), Algebraic Combinatorics and Computer Science, Springer, Milano, pp. 129-150, 2001.
29. Brini, A., Regonati, F. and Teolis, A.G.B. Grassmann Geometric Calculus, Invariant Theory and Superalgebras. In: Crapo, H. and Senato D. (eds.), Algebraic Combinatorics and Computer Science, Springer, Milano, pp. 151-196, 2001.
30. Brackx, F., Delanghe, D. and Sommen, F. Clifford Analysis. Pitman, Boston, 1982.
31. Buchberger, B. Application of Gröbner Basis in Non-linear Computational Geometry. In: Rice, J. (ed.), Scientific Software. Springer, New York, 1988.
32. Caianiello, E. Combinatorics and Renormalization in Quantum Field Theory. Benjamin, Reading, 1973.
33. Cartan, É. Nombres Complexes. In: Molk, J. (red.), Encyclopédie des Sciences Mathématiques, Tome I, vol. 1, Fasc. 4, art. I5, pp. 329-468, 1908.
34. Cartan, É. The Theory of Spinors, 2nd edition, Hermann, Paris, 1966.
35. Cecil, T.E. Lie Sphere Geometry. Springer, New York, 1992.
36. Chevalley, C. The Algebraic Theory of Spinors and Clifford Algebras, CollectedWorks, Volume 2. Editors: Cartier, P. and Chevalley, C. Springer, Berlin, Heidelberg, 1997. Originally published by Columbia University Press, New York, 1954.
37. Chevallier, D.P. Lie Algebras, Modules, Dual Quaternions, and Algebraic Methods in Kinematics. Machine and Mechanical Theory 26: 613-627, 1991.
38. Cho, H.C., Choi, H.I., Kwon, S.-H., Lee, D.-S., and Wee, N.-S. Clifford Algebra, Lorentzian Geometry, and Rational Parametrization of Canal Surfaces. Computer Aided Geometric Design 21: 327-339, 2004.
39. Chou, S.C. Mechanical Geometry Theorem Proving. D. Reidel, Dordrecht, 1988.
40. Chou, S.C., Gao, X.S. and Zhang, J.Z. Machine Proofs in Geometry - Automated Production of Readable Proofs for Geometric Theorems. World Scientific, Singapore, 1994.
41. Chou, S.C., Gao, X.S. and Zhang, J.Z. A Deductive Database Approach to Auto mated Geometry Theorem Proving and Discovering. J. Automated Reasoning 25(10): 219-246, 2000.
42. Clifford, W.K. Preliminary Sketch of Bi-quaternions. Proc. London Math. Society 4: 381-395, 1873.
43. Clifford, W.K. Application of Grassmann’s Extensive Algebra. American Journal of Mathematics I: 350-358, 1878.
44. Cnops, J. Vahlen Matrices for Non-definite Metrics. In: Ablamowicz, R. et al. (eds.), Clifford Algebras with Numeric and Symbolic Computations, Birkhäuser, Boston, 1996.
45. Crapo, H. and Richter-Gebert, J. Automatic Proving of Geometric Theorems. In: White, N. (ed.), Invariant Methods in Discrete and Computational Geometry, Kluwer Academic Publishers, pp. 107-139, 1994.
46. Crapo, H. and Senato D. (eds.) Algebraic Combinatorics and Computer Science. Springer, Milano, 2001.
47. Crippen, G.M. and Havel, T.F. Distance Geometry and Molecular Conformation. Research Studies Press and John Wiley & Sons Inc., Taunton, England, 1988.
48. Crumeyrolle, A. Orthogonal and Symplectic Clifford Algebras. D. Reidel, Dordrecht, Boston, 1990.
49. Daniilidis, K. Hand-Eye calibration Using Dual Quaternions. International J. Robotics Research 18: 286-298, 1999.
50. DeConcini, C. and Procesi C. A Characteristic Free Approach to Invariant Theory. Adv. in Math. 21: 330-354, 1976.
51. DeConcini, C., Eisenbud E. and Procesi C. Hodge Algebras. Astérisque 91, 1982.
52. Delanghe, R., Sommen, F. and Soucek, V. Clifford Algebra and Spinor-Valued Functions, D. Reidel, Dordrecht, 1992.
53. Dixon, A.C. On the Newtonian Potential. Quarterly J. of Mathematics 35: 283-296, 1904.
54. Dorst, L. Objects in Contact: Boundary Collisions as Geometric Wave Propagation. In: Bayro-Corrochano, E. and Sobczyk, G. (eds.) Geometric Algebra with Applications in Science and Engineering, Birkhäuser, Boston, pp. 349-390, 2001.
55. Dorst, L., Doran, C. and Lasenby, J. (eds.) Applications of Geometric Algebra in Computer Science and Engineering, Birkhäuser, Boston, 2002.
56. Dorst, L., Fontijne, D. and Mann, S. Geometric Algebra for Computer Science, Morgan Kaufmann Publishers, Elsevier Inc., 2007.
57. Doubilet, P., Rota, G.-C. and Stein, J. On the Foundations of Combinatorial Theory IX: Combinatorial Methods in Invariant Theory. Stud. Appl. Math. 57: 185-216, 1974.
58. Dress, A. and Wenzel, D. Grassmann-Plücker Relations and Matroids with Coefficients. Advances in Mathematics 86: 68-110, 1991.
59. Faugeras, O. and Mourrain, B. On the Geometry and Algebra of the Point and Line Correspondences between n Images. In: Proc. ICCV’95, Boston, IEEE Computer Society Press, pp. 951-956, 1995.
60. Faugeras, O. and Papadopoulo, T. Grassmann-Cayley Algebra for Modeling Systems of Cameras and the Algebraic Equations of the Manifold of Trifocal Tensors. Phil. Trans. R. Soc. Lond. A 356(1740): 1123-1152, 1998.
61. Faugeras, O. and Luong, Q.-T. The Geometry of Multiple Images, MIT Press, Cambridge, Massachusetts, 2001.
62. Fauser, B. A Treatise on Quantum Clifford Algebra, Univ. of Konstanz, Germany, 2002.
63. Fevre, S. andWang, D. Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundamenta Informaticae 39(1-2): 85-104, 1999.
64. Fillmore, J.P. and Springer, A. Möbius Groups over General Fields Using Clifford Algebras Associated with Spheres. International J. Theoretical Phys. 29: 225-246, 1990.
65. Fontijne, D. and Dorst, L. Modeling 3D Euclidean Geometry - Performance and Elegance of Five Models of 3D Euclidean Geometry in a Ray Tracing Application. Computer Graphics and Applications 23(2): 68-78, 2003.
66. Gao, X.S. and Wang, D. Mathematics Mechanization and Applications. Academic Press, London, 2000.
67. Gibbs, J.M. Quaternions and the Algebra of Vectors. Nature 47: 463-464, 1893.
68. Grassmann, H. Linear Extension Theory (Die Lineale Ausdehnungslehre), 1844. Translated by Kannenberg, L.C. in The Ausdehnungslehre of 1844 and Other Works, Chicago, La Salle: Open Court Publ., 1995.
69. Grosshans, F.D., Rota, G.-C. and Stein, J. Invariant Theory and Superalgebras, AMS, 1987.
70. Havel, T.F. Some Examples of the Use of Distances as Coordinates for Euclidean Geometry. J. Symb. Comp. 11: 579-594, 1991.
71. Havel, T.F. and Dress, A. Distance Geometry and Geometric Algebra, Found. Phys. 23: 1357-1374, 1993.
72. Havel, T.F. Geometric Algebra and Möbius Sphere Geometry as a Basis for Euclidean Invariant Theory. In: White, N. (ed.), Invariant Methods in Discrete and Computational Geometry, D. Reidel, Dordrecht, pp. 245-256, 1995.
73. Havel, T.F. Qubit Logic, Algebra and Geometry. In: Richter-Gebert, J. andWang, D. (eds.), Automated Deduction in Geometry, LNAI 2061, Springer, Berlin, Heidelberg, pp. 228-245, 2001.
74. Havel, T.F., Cory, D.G., Somaroo, S.S. and Tseng, C.H. Geometric Algebra in Quantum Information Processing by Nuclear Magnetic Resonance. In: Bayro-Corrochano, E. and Sobczyk, G. (eds.) Geometric Algebra with Applications in Science and Engineering, Birkhäuser, Boston, pp. 281-308, 2001.
75. Helmstetter, J. Algebres de Clifford et algebres de Weyl. Cahiers Math. 25, Montpellier, 1982.
76. Hestenes, D. Space-Time Algebra. Gordon and Breach, New York, 1966.
77. Hestenes, D. and Sobczyk, G. Clifford Algebra to Geometric Calculus. D. Reidel, Dordrecht, Boston, 1984.
78. Hestenes, D. A Unified Language for Mathematics and Physics. In: Chisholm, J.S.R. and Common A.K. (eds.), Clifford Algebras and their Applications in Mathematical Physics, Kluwer Academic Publishers, Dordrecht, pp. 1-23, 1986.
79. Hestenes, D. and Ziegler, R. Projective Geometry with Clifford Algebra, Acta Appl. Math. 23: 25-63, 1991.
80. Hestenes, D. The Design of Linear Algebra and Geometry, Acta Appl. Math. 23: 65-93, 1991.
81. Hestenes, D. Invariant Body Kinematics I, II. Neural Networks 7: 65-77, 79-88, 1994.
82. Hestenes, D. Grassmann’s Vision. In: Schubring, G. (ed.), Hermann Gunther Grassmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar, Kluwer Academic Publishers, Dordrecht, 1996.
83. Hestenes, D. New Foundations for Classical Mechanics. D. Reidel, Dordrecht, Boston, 2nd edition, 1998.
84. Hestenes, D., Li, H. and Rockwood, A. New algebraic tools for classical geometry. In: Sommer, G. (ed.), Geometric Computing with Clifford Algebra, Springer, Heidelberg, pp. 3-26, 2001.
85. Hestenes, D. Old Wine in New Bottles: A New Algebraic Framework for Computational Geometry. In: Bayro-Corrochano, E. and Sobczyk, G. (eds.), Geometric Algebra with Applications in Science and Engineering, Birkhäuser, Boston, pp. 3-17, 2001.
86. Hestenes, D. and Holt, J. The Crystallographic Space Groups in Geometric Algebra. Journal of Mathematical Physics 48, 023514, 2007.
87. Hildenbrand, D., Fontijne, D., Perwass, C. and Dorst, L. Geometric Algebra and Its Application to Computer Graphics. Tutorial of Eurographics 2004, published by INRIA and Eurographics Assoc., Grenoble, 2004.
88. Hildenbrand, D. Geometric Computing in Computer Graphics Using Conformal Geometric Algebra. Computers and Graphics 29(5): 795-803, 2005.
89. Hilbert, D. Über die Theorie der Algebraischen Formen. Mathematische Ann. 36: 473-534, 1890.
90. Hilbert, D. Über die vollen Invariantensysteme. Mathematische Ann. 42: 313-373, 1893.
91. Hitzer, E.M.S. Euclidean Geometric Objects in the Clifford Geometric Algebra of {Origin, 3-Space, Infinity}. Simon Stevin 11(5): 653-662, 2004.
92. Hou, X., Li, H., Wang, D. and Yang, L. "Russian Killer" № 2: a Challenging Geometric Theorem with Machine vs. Human Proofs. Math. Intelligencer 23(1): 9-15, 2001.
93. Hodge, W.V.D. and Pedoe, D. Methods of Algebraic Geometry. Cambridge University Press, Cambridge, 1953.
94. Huang, R.Q., Rota, G.-C. and Stein, J. Supersymmetric Bracket Algebra and Invariant Theory, Acta Appl. Math. 21: 193-246, 1990.
95. Iversen, B. Hyperbolic Geometry. Cambridge University Press, Cambridge, 1992.
96. Kapur, D. Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases and Characteristic Sets. In: Wang, D. (ed.), Automated Deduction in Geometry, LNAI 1360, Springer, Berlin, Heidelberg, pp. 1-36, 1998.
97. Klein, F. Vorlesungen über nichteuklidische Geometrie. Springer, Berlin, 1928.
98. Lasenby, A. and Lasenby, J. Surface Evolution and Representation Using Geometric Algebra. In: Cipolla, R. and Martin, R. (eds.), The Mathematics of Surfaces IX, Springer, London, pp. 144-168, 2000.
99. Lasenby, A. and Doran, C. Geometric Algebra for Physicists. Cambridge University Press, Cambridge, 2003.
100. Lasenby, A. Conformal Geometry and the Universe, submitted to Phil. Trans. R. Soc. Lond. A, 2004.
101. Lasenby, A. Recent Applications of Conformal Geometric Algebra. In: Li, H. et al. (eds.), Computer Algebra and Geometric Algebra with Applications, LNCS 3519, Springer, Berlin, Heidelberg, pp. 298-328, 2005.
102. Lawson, H.B. and Michelsohn, M.L. Spin Geometry. Princeton University Press, Princeton, 1989.
103. Li, H. New Explorations in Automated Theorem Proving in Geometries. Ph.D. Thesis, Peking University, Beijing, 1994.
104. Li, H. Hyperbolic Geometry with Clifford Algebra, Acta Appl. Math. 48(3): 317-358, 1997.
105. Li, H. and Shi, H. On Erdös’ Ten-Point Problem, Acta Mathematica Sinica New Series, 13(2): 221-230, 1997.
106. Li, H. Some Applications of Clifford Algebra to Geometries. In: Gao, X.S. et al. (eds.), Automated Deduction in Geometry, LNAI 1669, Springer, Berlin, Heidelberg, pp. 156-179, 1998.
107. Li, H. Vectorial Equation-Solving for Mechanical Geometry Theorem Proving. J. Automated Reasoning 25: 83-121, 2000.
108. Li, H. The Lie Model for Euclidean Geometry. In: Sommer, G. and Zeevi, Y. (eds.), Algebraic Frames for the Perception-Action Cycle, LNCS 1888, Springer, Berlin, pp. 115-133, 2000.
109. Li, H. Clifford Algebra Approaches to Automated Geometry Theorem Proving. In: Gao, X.S. and Wang, D. (eds.), Mathematics Mechanization and Applications, Academic Press, London, pp. 205-230, 2000.
110. Li, H., Hestenes, D. and Rockwood, A. Generalized Homogeneous Coordinates for Computational Geometry. In: Sommer, G. (ed.), Geometric Computing with Clifford Algebras, Springer, Heidelberg, pp. 27-60, 2001.
111. Li, H., Hestenes, D. and Rockwood, A. Spherical Conformal Geometry with Geometric Algebra. In: Sommer, G. (ed.), Geometric Computing with Clifford Algebras, Springer, Heidelberg, pp. 61-76, 2001.
112. Li, H., Hestenes, D. and Rockwood, A. A Universal Model for Conformal Geometries of Euclidean, Spherical and Double-Hyperbolic Spaces. In: Sommer, G. (ed.), Geometric Computing with Clifford Algebras, Springer, Heidelberg, pp. 77-104, 2001.
113. Li, H. Hyperbolic Conformal Geometry with Clifford Algebra. International Journal of Theoretical Physics 40(1): 79-91, 2001.
114. Li, H. and Sommer, G. Coordinate-free Projective Geometry for Computer Vision. In: Sommer, G. (ed.), Geometric Computing with Clifford Algebras, Springer, Heidelberg, pp. 415-454, 2001.
115. 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, Birkhäuser, Boston, pp. 69-78, 2002.
116. Li, H. Clifford Expansions and Summations. MM Research Preprints 21: 112-154, 2002.
117. Li, H. and Wu, Y. Automated Short Proof Generation in Projective Geometry with Cayley and Bracket Algebras I, II. J. Symb. Comput. 36(5): 717-762, 763-809, 2003.
118. Li, H. Clifford Algebras and Geometric Computation. In: Chen, F. and Wang, D. (eds.), Geometric Computation, World Scientific, Singapore, pp. 221-247, 2004.
119. 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, Birkhäuser, Basel, pp. 345-363, 2004.
120. Li, H. Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. In: Winkler, F. (ed.), Automated Deduction in Geometry, LNAI 2930, Springer, Berlin, Heidelberg, pp. 106-123, 2004.
121. Li, H. Symbolic Computation in the Homogeneous Geometric Model with Clifford Algebra. In: Gutierrez, J. (ed.), Proc. ISSAC 2004, ACM Press, New York, pp. 221-228, 2004.
122. Li, H., Zhao, L., Chen, Y. Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis. In: Li, H. et al. (eds.), Computer Algebra and Geometric Algebra with Applications, LNCS 3519, Springer, Berlin, Heidelberg, pp. 383-402, 2005.
123. Li, H. Geometric Reasoning with Invariant Algebras. In: Proc. ATCM 2006, ATCM Inc., Blacksburg, USA, pp. 6-19, 2006.
124. Li, H. A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford Factorization. In: Brown, C.W. (ed.), Proc. ISSAC 2007, ACM Press, New York, pp. 261-268, 2007.
125. Li, H. Symbolic Computational Geometry with Advanced Invariant Algebras. Manuscript, sequel of Invariant Algebras and Geometric Reasoning, finished in September 2007.
126. Lie, S. Über Komplexe, inbesondere Linien- und Kugelkomplexe, mit Anwendung auf der Theorie der partieller Differentialgleichungen. Math. Ann. 5: 145-208, 209-256, 1872. (Ges. Abh. 2: 1-121)
127. Lipschitz, R. Untersuchungen über die Summen von Quadraten. Max Cohen und Sohn, Bonn, 1886.
128. Lopez-Franco, C. and Bayro-Corrochano, E. Omnidirectional Robot Vision Using Conformal Geometric Computing. J. Mathematical Imaging and Vision 26(3): 243-260, 2006.
129. Lotze, A. Über eine neue Begründung der regressiven Multiplikation extensiver Grössen in einem Hauptgebeit n-ter Stufe, Jahresbericht d. Deutschen Mathem. Vereinigung 57: 102-110, 1955.
130. Lounesto, P. Clifford Algebras and Spinors. Cambridge University Press, Cambridge, 1997.
131. Mainetti, M. and Yan, C.H. Arguesian Identities in Linear Lattices. Advances in Mathematics 144: 50-93, 1999.
132. Maks, J. Clifford Algebras and Möbius Transformations. In: Micali, A. et al. (eds.), Clifford Algebras and Their Applications in Mathematical Physics, Kluwer, Dordrecht, pp. 57-63, 1992.
133. McMillan, T. andWhite, N. The Dotted Straightening Algorithm. J. Symb. Comput. 11: 471-482, 1991.
134. Merlet, J.-P. Parallel Robot. Kluwer Academic Publishers, Dordrecht, 2000.
135. Mourrain, B. New Aspects of Geometrical Calculus with Invariants. MEGA’91, 1991.
136. Mourrain, B. and Stolfi, N. Computational Symbolic Geometry. In: White, N. (ed.), Invariant Methods in Discrete and Computational Geometry, D. Reidel, Dordrecht, Boston, pp. 107-139, 1995.
137. Mourrain, B. and Stolfi, N. Applications of Clifford Algebras in Robotics. In: Merlet, J.-P. and Ravani, B. (eds.), Computational Kinematics '95, D. Reidel, Dordrecht, Boston, pp. 141-150, 1995.
138. Mundy, J.L. and Zisserman, A. (eds.) Geometric Invariance in Computer Vision. MIT Press, Cambridge, Massachusetts, 1992.
139. Olver, P.J. Classical Invariant Theory. Cambridge University Press, Cambridge, 1999.
140. Oziewicz, Z. Clifford Coalgebra, and Linear Energy-Momenta Addition. Draft, Univ. Nacional Autonoma de Mexico, October 10, 2001.
141. Pauli, W. Zur Quantenmechanik des magnetischen Elektrons. Z. Phys. 42: 601-623, 1927.
142. Peano, G. Geometric Calculus according to the Ausdehnungslehre of H. Grassmann, 1888. Translation copyright 1997 by L. Kannenberg.
143. Penrose, R. and Rindler, R. Spinors and Space-Time. Cambridge University Press, Cambridge, 1984.
144. Perwass, C., Banarer, V. and Sommer, G. Spherical Decision Surfaces Using Conformal Modeling. In: DAGM 2003, Magdeburg, LNCS 2781, Springer, Berlin, pp. 9-16, 2003.
145. Porteous, I.R. Clifford Algebras and the Classical Groups. Cambridge University Press, Cambridge, 1995.
146. Pozo, J.M. and Sobczyk, G. Realizations of the Conformal Group. In: Bayro-Corrochano, E. and Sobczyk, G. (eds.), Geometric Algebra with Applications in Science and Engineering, Birkhäuser, Boston, pp. 42-60, 2001.
147. Ratcliffe, J. Foundations of Hyperbolic Manifolds. GTM 149, 2nd edition, Sprinber, Berlin, Heidelberg, 2006.
148. Richter-Gebert, J. Mechanical Theorem Proving in Projective Geometry. Annals of Math. and Artificial Intelligence 13: 159-171, 1995.
149. Richter-Gebert, J. Realization Spaces of Polytopes. LNM 1643, Springer, Berlin, Heidelberg, 1996.
150. Riesz, M. Clifford Numbers and Spinors, 1958. From lecture notes made in 1957-8, edited by Bolinder, E. and Lounesto, P. Kluwer Academic Publisher, Dordrecht, 1993.
151. Rosenhahn, B. and Sommer, G. Adaptive Pose Estimation for Different Corresponding Entities, In: van Gool, L. (ed.), Pattern Recognition, 24 Symposium für Mustererkennung, LNCS 2449, Springer, Berlin, Heidelberg, pp. 265-273, 2002.
152. Rosenhahn, B. Pose Estimation Revisited. Ph.D. Dissertation, also Technical Report Number 0308, CAU zu Kiel, 2003.
153. Rosenhahn, B., Perwass, C. and Sommer, G. Free-form Pose Estimation by Using Twist Representations. Algorithmica 38: 91-113, 2004.
154. Rosenhahn, B. and Sommer, G. Pose Estimation of Free-form Objects. In: ECCV 2004, Prag, LNCS 3021, Springer, Berlin, Heidelberg, pp. 414-427, 2004.
155. Rosenhahn, B., Perwass, Ch. and Sommer, G. Pose Estimation of Free-form Contours. International Journal of Computer Vision 62(3): 267-289, 2005.
156. Rosenhahn, B. and Sommer, G. Pose Estimation in Conformal Geometric Algebra I, II. J. Mathematical Imaging and Vision 22: 27-48, 49-70, 2005.
157. Rota, G.-C. and Stein, J. Applications of Cayley Algebras. Academia Nazionale dei Lincei atti dei Convegni Lincei 17, Colloquio Internazionale sulle Teorie Combinatoire, Tomo 2, Roma.
158. Rota, G.-C. and Stein, J. Symbolic Method in Invariant Theory, Proc. Nat. Acad. Sci. 83: 844-847, 1986.
159. Rota, G.-C. and Sturmfels, B. Introduction to Invariant Theory in Superalgebras. In: Staton, D. (ed.), Invariant Theory and Tableaux, Springer, New York, pp. 1-35, 1990.
160. Ryan, J. Conformal Clifford Manifolds Arising in Clifford Analysis. Proc. Roy. Irish Acad. Sect. A 85: 1-23, 1985.
161. Samuel, P. Projective Geometry. Springer, New York, 1988.
162. Seidel, J.J. Distance-Geometric Development of Two-dimensional Euclidean, Hyperbolic and Spherical Geometry I, II. Simon Stevin 29: 32-50, 65-76, 1952.
163. Seidel, J.J. Angles and Distances in n-Dimensional Euclidean and Non-Euclidean geometry I-III. Indag. Math. 17, № 3 & 4, 1952.
164. Selig, J.M. Geometrical Methods in Robotics. Springer, New York, 1996.
165. Sobczyk, G. and Pozo, J.M. Geometric Algebra in Linear Algebra and Geometry. Acta Appl. Math. 71: 207-244, 2002.
166. Sommer, G. (ed.) Geometric Computing with Clifford Algebras. Springer, Berlin, Heidelberg, 2001.
167. Sommer, G. A Geometric Algebra Approach to Some Problems of Robot Vision. In: Byrnes, J. (ed.), Computational Noncommunicative Algebra and Applications, Kluwer Acad., NATO Science Series 136, pp. 309-338, 2004.
168. Sommer, G. Application of Geometric Algebra in Robot Vision. In: Li, H. et al. (eds.), Computer Algebra and Geometric Algebra with Applications, LNCS 3519, Springer, Berlin, Heidelberg, pp. 258-277, 2005.
169. Sommer, G., Rosenhahn, B. and Perwass, C. Twists - An Operational Representation of Shape. In: Li, H. et al. (eds.), Computer Algebra and Geometric Algebra with Applications, LNCS 3519, Springer, Berlin, Heidelberg, pp. 278-297, 2005.
170. Staton, D. (ed.) Invariant Theory and Tableaux. Springer, New York, 1990.
171. Steenrod, N. The Topology of Fibre Bundles. Princeton University Press, Princeton, New Jersey, 1974.
172. Study, E. Geometrie der Dynamen. Leipzig, 1903.
173. Sturmfels, B. Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Basis Method. Result in Math. 15: 551-360, 1989.
174. Sturmfels, B. and White, N. Gröbner Bases and Invariant Theory. Advances in Mathematics 76: 245-259, 1989.
175. Sturmfels, B. Computational Algebraic Geometry of Projective Configurations. J. Symbolic Computation 11: 595-618, 1991.
176. Sturmfels, B. and Whiteley, W. On the Synthetic Factorization of Homogeneous Invariants. J. Symbolic Computation 11: 439-454, 1991.
177. Sturmfels, B. Algorithms in Invariant Theory. Springer, New York, 1993.
178. Sugihara, K. Machine Interpretation of Line Drawings. MIT Press, 1986.
179. Sweedler, M.E. Hopf Algebra. Benjamin, New York, 1969.
180. Thurston, W. Three-dimensional Geometry and Topology, Volume 1. Princeton University Press, Princeton, 1997.
181. Tolvanen, A., Perwass, C. and Sommer, G. Projective Model for Central Catadioptric Cameras Using Clifford Algebra. In: DAGM 2005, LNCS 3663, Springer, Berlin, Heidelberg, pp. 192-199, 2005.
182. Turnbull, H.W. Determinants, Matrices and Invariants. Blackie and Son, Glasgow, 1928.
183. Turnbull, H.W. and Young, A. Linear Invariants of Ten Quaternary Quadrics. Trans. Camb. Phil. Soc. 23: 265-301, 1926.
184. Vahlen, K. Úber Bewegungen und komplexe Zahlen. Math. Ann. 55: 585-593, 1902.
185. van der Waerden, B.L. On Clifford Algebras. Nederl. Akad. Wetensch. Proc. Ser. A 69: 78-83, 1966.
186. Wang, D. Clifford Algebraic Calculus for Geometric Reasoning, with Application to Computer Vision. In: Wang, D. (ed.), Automated Deduction in Geometry, LNAI 1360, Springer, Berlin, Heidelberg, pp. 115-140, 1996.
187. Wang, D. Geometric Reasoning with Geometric Algebra. In: Bayro-Corrochano, E. and Sobczyk, G. (eds.) Geometric Algebra with Applications in Science and Engineering, Birkhäuser, Boston, pp. 89-109, 2001.
188. Weitzenbök, R. Invariantentheorie. Noordhoff, Groningen, 1923.
189. Weyl, H. The Classical Groups. Princeton Mathematics Series, Princeton University Press, Princeton, New Jersey, 1939.
190. White, N. The Bracket Ring of Combinatorial Geometry I. Trans. Amer. Math. Soc. 202: 79-103, 1975.
191. White, N. Implementation of the Straightening Algorithm of Classical Invariant Theory. In: Staton, D. (ed.), Invariant Theory and Tableaux, Springer, New York, pp. 36-45, 1990.
192. White, N. Multilinear Cayley Factorization. J. Symb. Comput. 11: 421-438, 1991.
193. White, N. (ed.) Invariant Methods in Discrete and Computational Geometry. Kluwer, Dordrecht, 1994.
194. White, N. Geometric Applications of the Grassmann-Cayley Algebra. In: Goodman, J. E. and O’Rourke, J. (eds.), Handbook of Discrete and Computational Geometry, CRC Press, Florida, 1997.
195. White, N. Grassmann-Cayley Algebra and Robotics Applications. In: Bayro-Corrochano, E. (ed.), Handbook of Geometric Computing, Springer, Heidelberg, pp. 629-656, 2005.
196. Whiteley, W. Invariant Computations for Analytic Projective Geometry. J. Symb. Comput. 11: 549-578, 1991.
197. Willmore, T.J. Riemannian Geometry, Clarendon Press, Oxford, New York, 1993.
198. Winter, D. The Structure of Fields. GTM 16, Springer, New York, 1974.
199. Witt, E. Theorie der quadratischen Formen in beliebigen Körpern. J. Reine Angew. Math. 176: 31-44, 1937.
200. Witte, F.M.C. Lightlike Infinity in CGA Models of Spacetime. J. of Physics A -Mathematics and General 37(42): 9965-9973, 2004.
201. Wu, W.-T. On the Mechanization of Theorem-Proving in Elementary Differential Geometry. Scientia Sinica (Math Suppl. I): 94-102, 1979.
202. Wu, W.-T. Basic Principles of Mechanical Theorem Proving in Geometries, Volume I: Part of Elementary Geometries. Science Press, Beijing, 1984; Springer, 1994.
203. Wu, W.-T. Mathematics Mechanization. Science Press and Kluwer Academic, Beijing, 2000.
204. Wu, W.-T. and Gao, X.S. Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Computer Science and Technology 22(2): 756-764, 2007.
205. Wu, Y. Bracket Algebra, Affine Bracket Algebra and Automated Geometric Theorem Proving. Ph.D. Dissertation, Acad. Math. and Sys. Sci., Chinese Academy of Sciences, Beijing, 2001.
206. Xu, R. Clifford Coalgebra and Geometric Theorem Completion. Ph.D. Dissertation, Acad. Math. and Sys. Sci., Chinese Academy of Sciences, Beijing, 2006.
207. Yaglom, I.M. Felix Klein and Sophus Lie. Birkhäuser, Boston, Basel, 1988. Translated by Sosdsinsky, S.
208. Yang, A.T. and Freudenstein, F. Application of Dual Number Quaternion Algebra to the Analysis of Spatial Mechanisms. J. Appl. Mech. 31: 300-308, 1964.
209. Young, A. The Collected Papers of Alfred Young, 1873-1940. University of Toronto Press, 1977.
210. Zaharia, M.D. and Dorst, L. Modeling and Visualization of 3D Polygonal Mesh Surfaces using Geometric Algebra. Computers and Graphics 28(4): 519-526, 2004.
211. Zang, D. and Sommer, G. Signal Modeling for Two-dimensional Image Structures. J. Visual Communication and Image Representation 18(1): 81-99, 2007.