Recent Advances in Real Geometric Reasoning
Attributed to:
Real Geometry and Connectedness via Triangular Description
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-21362-0_3
Publication URI: http://dx.doi.org/10.1007/978-3-319-21362-0_3
Type: Book Chapter
Book Title: Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (2015)
Page Reference: 37-52
ISBN: 978-3-319-21361-3