Star Unfolding Polygons.- Volume Frameworks and Deformation Varieties.- Recent Advances in Real Geometric Reasoning.- The Relation Tool in GeoGebra.- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.- Extension of Simson-Wallace Theorem on Skew Quadrilaterals.- Current Status of the I2GATP Common Format.- On Flattenability of Graphs.- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Paperback
Publication Date: 27/07/2015
- ISBN:
- 9783319213613
- 9783319213613
- Category:
- Graphical & digital media applications
- Format:
- Paperback
- Publication Date:
- 27-07-2015
- Language:
- English
- Publisher:
- Springer
- Country of origin:
- United States
- Dimensions (mm):
- 235x155mm
- Weight:
- 2.99kg
Click 'Notify Me' to get an email alert when this item becomes available
Great!
Click on Save to My Library / Lists
Click on Save to My Library / Lists
Select the List you'd like to categorise as, or add your own
Here you can mark if you have read this book, reading it or want to read
Awesome! You added your first item into your Library
Great! The fun begins.
Click on My Library / My Lists and I will take you there
Click on My Library / My Lists and I will take you there
You can find this item in:
Geometry
Mathematics
Graphical & digital media applications
Algebra
Graphics programming
Computer programming / software development
Software Engineering
Discrete mathematics
Computer science
Mathematical theory of computation
Artificial intelligence
Maths for computer scientists
Mathematical logic
Show more
Show less
Reviews
Be the first to review Automated Deduction in Geometry.
Share This Book: