Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Dixon's resultant and its applications -- Computational geometry problems in REDLOG -- Probabilistic...”
Cover Image
Read Now

3
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric...”
Cover Image
Read Now

4
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Mechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a...”
Cover Image
Read Now

7
by Gao, Xiao-Shan
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects: “...Geometry...”
Cover Image
Read Now

8
by Gao, Xiao-Shan
Published 2000
Academic Press
Table of Contents: “... by Wu's Method. Automated Geometric Reasoning: S. Chou, D. Lin, Wu's Method for Automated Geometry...”
Cover Image
Read Now

9
Published 1995
Springer Vienna
Table of Contents: “...On algorithmic parametrization methods in algebraic geometry -- 1 Introduction -- 2 Rational...”
Cover Image
Read Now

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Invited Presentations -- Interactive Mathematical Documents -- Algebra and Geometry -- An Inductive...”
Cover Image
Read Now

11
Published 2007
Birkhäuser
Table of Contents: “... of Geometric Problems -- Symbolic Computation Sequences and Numerical Analytic Geometry Applied to Multibody...”