Search alternatives:
automatic theorem » automata theory
automated theorem » automata theory
languages » language
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets -- Extended...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based...”
Cover Image
Read Now

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

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