Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science Book 9201)
by Francisco Botana, Pedro Quaresma
This volume brings together revised selected papers from the 10th International Workshop on Automated Deduction in Geometry, held in Coimbra in 2014. It offers a research-oriented look at automated reasoning in geometry for readers in mathematics and computer science.
About This Book
Automated Deduction in Geometry presents revised selected papers from the 10th International Workshop on Automated Deduction in Geometry.
The workshop took place in Coimbra, Portugal, from July 9 to 11, 2014.
With a focus on the intersection of geometry and automated reasoning, the volume is intended for readers interested in mathematical computation, formal methods, and computer science research.
This book is part of the Lecture Notes in Computer Science series.
Reviews
No reviews yet. Be the first to review this book!