Computer-assisted Theorem Proving in Synthetic Geometry

First Author: Narboux J
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