Search alternatives:
geometric computation » geometry computational, geometric computing

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... of Rational Curves -- Operator Calculus Approach to Solving Analytic Systems -- Solving Dynamic Geometric...

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

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets -- Extended...

4
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric...

5
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint...

6
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...

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned...

8
Published 1995
Springer Vienna
Table of Contents: ... of geometric objects -- References -- An implementation of the characteristic set method in Maple -- 1...