語系
Richter-Gebert, Jurgen.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
The Cinderella.2 Manualworking with the interactive geometry software /
by:
Kortenkamp, Ulrich H.; Richter-Gebert, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
Perspectives on projective geometrya guided tour through real and complex geometry /
by:
Richter-Gebert, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.