Searched for: subject:"automatically"
(1 - 1 of 1)
Bruyn, Tim (author)
This report is a discussion of the 1984 report 'An automatic proof procedure for several geometries' by Th. Bruyn and H.L. Claasen, inspired by a personal desire to understand the work of Th. Bruyn. See:
Bruyn and Claasen prove that certain true propositions of the theory...
bachelor thesis 2017