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

2013 ◽  
pp. 110-119 ◽  
Author(s):  
Ciprian S. Borcea ◽  
Ileana Streinu

Equation Systems with Free-Coordinates Determinants

2013 ◽  
pp. 59-70
Author(s):  
Pascal Mathis ◽  
Pascal Schreck

Rigidity of Origami Universal Molecules

2013 ◽  
pp. 120-142 ◽  
Author(s):  
John C. Bowers ◽  
Ileana Streinu

scholarly journals Proof and Computation in Geometry

2013 ◽  
pp. 1-30 ◽  
Author(s):  
Michael Beeson

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

2013 ◽  
pp. 33-47
Author(s):  
Jing Yang ◽  
Dongming Wang ◽  
Hoon Hong
Keyword(s):  
Angular Speed

scholarly journals Algebraic Analysis of Huzita’s Origami Operations and Their Extensions

2013 ◽  
pp. 143-160 ◽  
Author(s):  
Fadoua Ghourabi ◽  
Asem Kasem ◽  
Cezary Kaliszyk
Keyword(s):  
Algebraic Analysis

scholarly journals From Tarski to Hilbert

2013 ◽  
pp. 89-109 ◽  
Author(s):  
Gabriel Braun ◽  
Julien Narboux

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

2013 ◽  
pp. 71-88 ◽  
Author(s):  
Christophe Brun ◽  
Jean-François Dufourd ◽  
Nicolas Magaud
Keyword(s):  
Formal Proof ◽  
Convex Hulls
Load More ...
Sign in / Sign up

Export Citation Format

Share Document