Cover Image
Read Now

1
by Gao, Xiao-Shan
Published 2000
Academic Press
Table of Contents: “... Theorem Proving and Discovering. H. Li, Mechanical Theorem Proving in Differential Geometry. J. Zhang...”
Cover Image
Read Now

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

3
Published 2018
Springer International Publishing
Table of Contents: “...Artificial Intelligence, Theorem Proving and SAT Solving -- Symbolic and Numerical Computation...”
Cover Image
Read Now

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

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

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... of readable proofs for theorems in non-Euclidean geometries -- Points on algebraic curves...”
Cover Image
Read Now

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Labeled @-Calculus: Formalism for Time-Concerned Human Factors -- Enhanced Theorem Reuse by Partial Theory...”
Cover Image
Read Now

8
Published 1995
Springer Vienna
Table of Contents: “... for polynomial systems -- 3 Mechanical geometry theorem proving -- 4 Automatic derivation of unknown relations...”