Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642406713, 9783642406720

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Realizations of Volume Frameworks

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_8 ◽

2013 ◽

pp. 110-119 ◽

Author(s):

Ciprian S. Borcea ◽

Ileana Streinu

Download Full-text

Equation Systems with Free-Coordinates Determinants

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_5 ◽

2013 ◽

pp. 59-70

Author(s):

Pascal Mathis ◽

Pascal Schreck

Download Full-text

Proof and Computation in Geometry

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_1 ◽

2013 ◽

pp. 1-30 ◽

Author(s):

Michael Beeson

Download Full-text

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_3 ◽

2013 ◽

pp. 33-47

Author(s):

Jing Yang ◽

Dongming Wang ◽

Hoon Hong

Keyword(s):

Download Full-text

Rigidity of Origami Universal Molecules

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_9 ◽

2013 ◽

pp. 120-142 ◽

Author(s):

John C. Bowers ◽

Ileana Streinu

Download Full-text

Extending the Descartes Circle Theorem for Steiner n-Cycles

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_4 ◽

2013 ◽

pp. 48-58

Author(s):

Shuichi Moritsugu

Keyword(s):

Download Full-text

Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_2 ◽

2013 ◽

pp. 31-32

Author(s):

Dongming Wang

Keyword(s):

Knowledge Management ◽

Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

Algebraic Analysis of Huzita’s Origami Operations and Their Extensions

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_10 ◽

2013 ◽

pp. 143-160 ◽

Author(s):

Fadoua Ghourabi ◽

Asem Kasem ◽

Cezary Kaliszyk

Keyword(s):

Algebraic Analysis

Download Full-text

From Tarski to Hilbert

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_7 ◽

2013 ◽

pp. 89-109 ◽

Author(s):

Gabriel Braun ◽

Julien Narboux

Download Full-text

Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40672-0_6 ◽

2013 ◽

pp. 71-88 ◽

Author(s):

Christophe Brun ◽

Jean-François Dufourd ◽

Nicolas Magaud

Keyword(s):

Formal Proof ◽

Download Full-text