Searched for: subject:"automatically"
(1 - 2 of 2)
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
Van der Tuin, M. (author), Reijm, A.B. (author), De Jong, T.K. (author), Smits, J. (author)
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