Computer-assisted Theorem Proving in Synthetic Geometry
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://www.taylorfrancis.com/books/9781498738927
Type: Book Chapter
Edition: 1
Book Title: Handbook of Geometric Constraint Systems Principles (2018)
Page Reference: 21-44
ISBN: 9781498738910