( en | de | ru )

 

Disambiguierung von "Passmore, Grant Olney"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL.

, , und . CoRR, (2015)

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

Grant Boctor

Phillip Grant

Marion Grant

Thomas Grant

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Real Algebraic Strategies for MetiTarski Proofs., , und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 358-370. Springer, (2012)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)A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL., , und . CoRR, (2015)Impugning Randomness, Convincingly., und . Bull. EATCS, (2011)Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms.. FM, Volume 13047 von Lecture Notes in Computer Science, Seite 717-721. Springer, (2021)