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