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-32a47fab143e Bruyn and Claasen prove that certain true propositions of the theory of intersections within the two-dimensional projective geometry over the real numbers can be formulated by use of figures. It is proven that figures obtained by manipulating these figures will also correspond to propositions. The method to do so proves that the obtained propositions are a direct consequence of the original propositions and are therefore proven to be true. One of their main results is to use the theorem of Pappus to generate the theorem of Desargues, thereby proving that Desargues follows from Pappus (something that is well known in projective geometry). This report aims to give a comprehensive explanation of their method as well as a detailed demonstration of their procedure. It is a summary of their work with added explanations and examples.

This research is a case study investigating the effect of participation in the development process of a network-based scientist-journalist recommender system on the mental model of digital innovation of a team of communication professionals from Delft University of Technology and Naturalis Biodiversity Center. Communication professionals at research institutes are tasked with connecting scientists and journalists. The recommender system supports this process by recommending scientist-journalist connections based on data from previous collaborations. A scientist collaboration network, a journalist collaboration network and a scientist-journalist collaboration network are combined into a multilayer network. A recommender system is designed based on centrality metrics in the scientist and journalist collaboration networks and distance metrics in the multilayer network. In contrast to traditional link prediction problems - which aim to predict what links are most likely to form in the network - the problem in this thesis is how to recommend the most likely link for a single node, i.e. the most likely scientist links for a given journalist or most likely journalist links for a given scientist. A novel evaluation method is created to evaluate the performance of the recommender system. The development of this system is used as a vessel to research how participation in a digital development process affects the mental model of digital innovation. This research contributes to addressing the lack of understanding of how to develop a mental model that facilitates innovation in the context of digital transformation. Three themes were identified in their mental model change: The extent to which innovation requires involvement, the complexity of innovation processes and what outcomes can realistically be expected of a digital innovation process. The team went from a model of digital innovation as 'a mysterious black box' - something external, where they could hand in a list of requirements and walk away with a digital tool - to a 'super puppy' that can do remarkable things, but has to be trained and interacted with to get a desired effect.