Automated Deduction in Geometry
Subtitle: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Publisher: Springer
Published: 2015
Language: eng
ISBN-13: 9783319213620
Subjects: Geometry, data processing; Automatic theorem proving; Logic, symbolic and mathematical