Languages
Richter-Gebert, Jurgen.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
The Cinderella.2 Manualworking with the interactive geometry software /
by:
Kortenkamp, Ulrich H.; Richter-Gebert, Jurgen.; SpringerLink (Online service)
(Electronic resources)
Automated deduction in geometrythird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
by:
(1998 :); Richter-Gebert, Jurgen.; SpringerLink (Online service); Wang, Dongming.
(Electronic resources)
Perspectives on projective geometrya guided tour through real and complex geometry /
by:
Richter-Gebert, Jurgen.; SpringerLink (Online service)
(Electronic resources)
Automated deduction in geometry8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /
by:
(1998 :); Narboux, Julien.; Richter-Gebert, Jurgen.; Schreck, Pascal.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Visualization.
Algebra.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer Graphics.
Electronics and Microelectronics, Instrumentation.
Programming Techniques.
Geometry
Mathematics.
Algorithms.
Convex and Discrete Geometry.
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Classical Continuum Physics.
Geometry, Projective.
Symbolic and Algebraic Manipulation.
Geometry.
General Algebraic Systems.