Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness., , , , und . Automated Deduction in Geometry, Volume 3763 von Lecture Notes in Computer Science, Seite 19-33. Springer, (2004)D.A.C Draw and Calc - the intuitive calculator -., , und . SISY, Seite 157-163. IEEE, (2012)Theorema: Towards computer-aided mathematical theory exploration., , , , , , , , , und 1 andere Autor(en). J. Applied Logic, 4 (4): 470-504 (2006)Proving and Constraint Solving in Computational Origami., , , und . AISC, Volume 3249 von Lecture Notes in Computer Science, Seite 132-142. Springer, (2004)