Towards a Mechanisation in Isabelle of Birkhoff's Ruler and Protractor Geometry (2018)

First Author: Morris I
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://adg2018.cc4cm.org/ADG2018Proceedings

Type: Conference/Paper/Proceeding/Abstract