Aufzeichung der Konferenz "Quantum Mathematical Physics - A Bridge between Mathematics and Physics". Tag 4, Beitrag 3 Bertfried Fauser (Cookeville): From software testing to differential geometry -- Computer science methods applied to physics