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

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319213613, 9783319213620
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Flattenability of Graphs

2015 ◽  
pp. 129-148 ◽  
Author(s):  
Meera Sitharam ◽  
Joel Willoughby

The Relation Tool in GeoGebra 5

2015 ◽  
pp. 53-71 ◽  
Author(s):  
Zoltán Kovács

Volume Frameworks and Deformation Varieties

2015 ◽  
pp. 21-36
Author(s):  
Ciprian S. Borcea ◽  
Ileana Streinu

Current Status of the I2GATP Common Format

2015 ◽  
pp. 119-128 ◽  
Author(s):  
Pedro Quaresma ◽  
Nuno Baeta
Keyword(s):  
Current Status

Star-Unfolding Polygons

2015 ◽  
pp. 1-20 ◽  
Author(s):  
Md. Ashraful Alam ◽  
Ileana Streinu

scholarly journals Recent Advances in Real Geometric Reasoning

2015 ◽  
pp. 37-52 ◽  
Author(s):  
James H. Davenport ◽  
Matthew England
Keyword(s):  
Geometric Reasoning ◽  
Recent Advances

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems

2015 ◽  
pp. 72-93 ◽  
Author(s):  
Vesna Marinković ◽  
Predrag Janičić ◽  
Pascal Schreck
Keyword(s):  
Theorem Proving ◽  
Geometric Construction ◽  
Computer Theorem Proving
Load More ...
Sign in / Sign up

Export Citation Format

Share Document