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

A Parallelization of the Buchberger Algorithm.. ISSAC, Seite 296. ACM, (1990)A Parallel Discrete Event IP Network Emulator., , und . MASCOTS, Seite 315-322. IEEE Computer Society, (2000)Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics., , , , und . SC-Square@FLOC, Volume 2189 von CEUR Workshop Proceedings, Seite 48. CEUR-WS.org, (2018)Cylindrical Algebraic Sub-Decompositions., , , und . CoRR, (2014)Datset of automated economic reasoning problems for QE / SMT., , , , und . (April 2018)Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases., , und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 280-294. Springer, (2012)Reasoning about the Elementary Functions of Complex Analysis., , , , und . Ann. Math. Artif. Intell., 36 (3): 303-318 (2002)Optimising Problem Formulation for Cylindrical Algebraic Decomposition., , , und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2013)Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting., , , und . ICMS, Volume 8592 von Lecture Notes in Computer Science, Seite 458-465. Springer, (2014)Factorisation of Polynominals: Old Ideas and Recent Results., , und . Trends in Computer Algebra, Volume 296 von Lecture Notes in Computer Science, Seite 81-91. Springer, (1987)