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

Lazard's CAD exploiting equality constraints., , , und . ACM Commun. Comput. Algebra, 53 (3): 138-141 (2019)Symbolic and Numeric Manipulation of Integrals.. Accurate Scientific Computations, Volume 235 von Lecture Notes in Computer Science, Seite 168-180. Springer, (1985)The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis., und . SIGCSE, Seite 1267. ACM, (2019)Reasoning about the Elementary Functions of Complex Analysis., , , , und . AISC, Volume 1930 von Lecture Notes in Computer Science, Seite 115-126. Springer, (2000)Complexity of Integration, Special Values, and Recent Developments.. ICMS, Volume 9725 von Lecture Notes in Computer Science, Seite 485-491. Springer, (2016)Methodologies of Symbolic Computation.. AISC, Volume 11110 von Lecture Notes in Computer Science, Seite 19-33. Springer, (2018)The Rôle of Benchmarking in Symbolic Computation (Position Paper).. SYNASC, Seite 275-279. IEEE, (2018)Resolving Large Prime(s) Variants for Discrete Logarithm Computation., und . IMACC, Volume 2898 von Lecture Notes in Computer Science, Seite 207-222. Springer, (2003)On the parallel Risch algorithm (III): use of tangents.. SIGSAM Bull., 16 (3): 3-6 (1982)Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES., und . SAC, Volume 12804 von Lecture Notes in Computer Science, Seite 360-384. Springer, (2020)