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

Automated Generation of Equations for Linkage Loci in a Game Physics System., , und . Technol. Knowl. Learn., 19 (3): 317-326 (2014)Software Using the Gröbner Cover for Geometrical Loci Computation and Classification., , , und . ICMS, Volume 8592 von Lecture Notes in Computer Science, Seite 492-499. Springer, (2014)Using Free Open Source Software for Intelligent Geometric Computing., , , und . ICCSA (4), Volume 6785 von Lecture Notes in Computer Science, Seite 353-367. Springer, (2011)Adding remote computational capabilities to Dynamic Geometry Systems., , und . Mathematics and Computers in Simulation, 80 (6): 1177-1184 (2010)Computing Locus Equations for Standard Dynamic Geometry Environments., , und . International Conference on Computational Science (2), Volume 4488 von Lecture Notes in Computer Science, Seite 227-234. Springer, (2007)Automatic deduction in (dynamic) geometry: Loci computation., und . Comput. Geom., 47 (1): 75-89 (2014)An algebraic taxonomy for locus computation in dynamic geometry., , , und . Computer-Aided Design, (2014)Towards the Automatic Discovery of Theorems in GeoGebra., , , , und . ICMS, Volume 9725 von Lecture Notes in Computer Science, Seite 37-42. Springer, (2016)First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems., , und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 131-145. Springer, (2007)Development of automatic reasoning tools in GeoGebra., , , , und . ACM Comm. Computer Algebra, 50 (3): 85-88 (2016)