Languages
Richter-Gebert, Jurgen.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Perspectives on projective geometry = a guided tour through real and complex geometry /
by:
Richter-Gebert, Jurgen.; SpringerLink (Online service)
(Language materials, printed)
Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Richter-Gebert, Jurgen.; Schreck, Pascal.; SpringerLink (Online service); Narboux, Julien.
(Language materials, printed)
The Cinderella.2 Manual = working with the interactive geometry software /
by:
Richter-Gebert, Jurgen.; SpringerLink (Online service); Kortenkamp, Ulrich H.
(Language materials, printed)
Subjects
Software Engineering.
Electronics and Microelectronics, Instrumentation.
Visualization.
Symbolic and Algebraic Manipulation.
Automatic theorem proving
Geometry
Geometry, Projective.
Computer Science.
Programming Techniques.
Classical Continuum Physics.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
General Algebraic Systems.
Mathematics.
Computer Graphics.
Discrete Mathematics in Computer Science.
Algebra.
Geometry.
Convex and Discrete Geometry.