A study of the 1984 report An Automatic Proof Procedure For Several Geometries by Th. Bruyn and H.L. ClaasenBruyn, 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: http://resolver.tudelft.nl/uuid:b768c6ce-f625-4236-9b0b-32a47fab143ebachelor thesis 2017
Bruyn and Claasen prove that certain true propositions of the theory...
WebLab is an online academic tool used to improve education by providing a framework for teachers to supply a higher quantity and quality of assignments to students. Currently this system is being used in a variety of courses including the Concepts of Programming Languages course taught to bachelor students at the Delft University of Technology....bachelor thesis 2013