Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9201)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: ADG 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 papers)
Other volumes
-
Automated Deduction in Geometry
Keywords
- automated deduction in geometry
- automated reasoning
- automated theorem discovery
- automated theorem proving
- circumradius formula
- common formats for geometry
- computational geometry
- computer aided mathematics education
- computer algebra
- coq system
- cyclic polygons
- deformation space
- dynamic geometry systems
- geogebra
- geometric knowledge management
- pattern matching
- shape recognition
- theorem discovery
- volume framework
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Automated Deduction in Geometry
Book Subtitle: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Editors: Francisco Botana, Pedro Quaresma
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-21362-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-21361-3Published: 27 July 2015
eBook ISBN: 978-3-319-21362-0Published: 17 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 181
Number of Illustrations: 54 b/w illustrations
Topics: Artificial Intelligence, Computer Graphics, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science, Software Engineering