Autor der Publikation

The Geometry of Cn is Important for the Algebra of Elementary Functions.

. Algebra, Geometry, and Software Systems, Seite 207-224. Springer, (2003)

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

Artificial Conflict Sampling for Real Satisfiability Problems., und . SYNASC, Seite 55-58. IEEE, (2022)On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving., , , und . SYNASC, Seite 37-39. IEEE, (2021)PowerMath: a system for the Macintosh., und . SYMSAC, Seite 13-15. ACM, (1986)Effective Set Membership in Computer Algebra and Beyond.. AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 266-269. Springer, (2008)Unit Knowledge Management., und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 382-397. Springer, (2008)The Challenges of Multivalued "Functions".. AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2010)Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update., , , , und . CEP, Seite 6:1-6:4. ACM, (2020)Foreword., , und . Math. Comput. Sci., 13 (4): 459-460 (2019)Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic., , , und . ARCADE@CADE, Seite 1-5. (2021)Increasing the Value of Professional Body Computer Science Degree Accreditation., , , und . SIGCSE, Seite 1336. ACM, (2021)