Autor der Publikation

Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition.

. SC-Square@SIAM AG, Volume 3273 von CEUR Workshop Proceedings, Seite 31-40. CEUR-WS.org, (2021)

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

Cybersecurity Education and Formal Methods., und . FMFun, Volume 1301 von Communications in Computer and Information Science, Seite 159-172. Springer, (2019)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , und 3 andere Autor(en). FMFun, Volume 1301 von Communications in Computer and Information Science, Seite 1-26. Springer, (2019)Factorization over finitely generated fields., und . SYMSACC, Seite 200-205. ACM, (1981)Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics., , , , , , und . CEP, Seite 12:1-12:4. ACM, (2019)Lazard's CAD exploiting equality constraints., , , und . ACM Commun. Comput. Algebra, 53 (3): 138-141 (2019)Effective Tests for Cyclotonic Polynomials., und . ISSAC, Volume 358 von Lecture Notes in Computer Science, Seite 244-251. Springer, (1988)Symbolic and Numeric Manipulation of Integrals.. Accurate Scientific Computations, Volume 235 von Lecture Notes in Computer Science, Seite 168-180. Springer, (1985)The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition., , , , und . CoRR, (2021)Complexity of Integration, Special Values, and Recent Developments.. ICMS, Volume 9725 von Lecture Notes in Computer Science, Seite 485-491. Springer, (2016)Towards better simplification of elementary functions., und . ISSAC, Seite 16-22. ACM, (2002)