( en | de | ru )

 

Disambiguierung von "Passmore, Grant Olney"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.

, , und . Decision Procedures in Software, Hardware and Bioware, Volume 10161 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)

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.

Grant Schindler

Phillip Grant

Grant Boctor

Marion Grant

Thomas Grant

 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL., , und . J. Autom. Reason., 62 (1): 69-91 (2019)Impugning Randomness, Convincingly., und . Stud Logica, 100 (1-2): 193-222 (2012)The Strategy Challenge in SMT Solving., und . Automated Reasoning and Mathematics, Volume 7788 von Lecture Notes in Computer Science, Seite 15-44. Springer, (2013)Formal Verification of Financial Algorithms., und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 26-41. Springer, (2017)Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase., und . CiE, Volume 7318 von Lecture Notes in Computer Science, Seite 560-570. Springer, (2012)Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.. CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 181-196. Springer, (2015)Combined Decision Techniques for the Existential Theory of the Reals., und . Calculemus/MKM, Volume 5625 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2009)Impugning Randomness, Convincingly., und . Bull. EATCS, (2011)A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL., , und . CoRR, (2015)Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals., und . CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 178-192. Springer, (2013)