Edit Profile (opens in new tab) Passmore, Grant Olney Compute Distance To: Compute Author ID: passmore.grant-olney Published as: Passmore, Grant Olney; Passmore, Grant O.; Passmore, Grant more...less External Links: MGP · Wikidata · Twitter Documents Indexed: 10 Publications since 2009 2 Contributions as Editor Co-Authors: 17 Co-Authors with 11 Joint Publications 286 Co-Co-Authors all top 5 Co-Authors 1 single-authored 3 de Moura, Leonardo 2 Gurevich, Yuri 2 Jackson, Paul B. 2 Paulson, Lawrence Charles 1 Aitken, Dave 1 Bray, Matthew G. 1 Cruanes, Simon 1 Farmer, William M. 1 Gamboa, Ruben A. 1 Ignatovich, Denis 1 Kagan, Elijah 1 Kanishev, Kostya 1 Li, Wenda 1 Maclean, Ewen 1 Mometto, Nicola 1 Rabe, Florian 1 Youssef, Abdou S. Serials 1 Studia Logica 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Lecture Notes in Computer Science 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 11 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 26 times in 22 Documents Cited by ▼ Year ▼ Computation in real closed infinitesimal and transcendental extensions of the rationals. Zbl 1381.68278de Moura, Leonardo; Passmore, Grant Olney 7 2013 Combined decision techniques for the existential theory of the reals. Zbl 1247.03018Passmore, Grant Olney; Jackson, Paul B. 6 2009 The strategy challenge in SMT solving. Zbl 1383.68084de Moura, Leonardo; Passmore, Grant Olney 6 2013 Impugning randomness, convincingly. Zbl 1262.68054Gurevich, Yuri; Passmore, Grant O. 2 2012 Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. Zbl 1468.68298Li, Wenda; Passmore, Grant Olney; Paulson, Lawrence C. 2 2019 Abstract partial cylindrical algebraic decomposition. I: The lifting phase. Zbl 1357.68199Passmore, Grant Olney; Jackson, Paul B. 1 2012 Real algebraic strategies for MetiTarski proofs. Zbl 1360.68764Passmore, Grant Olney; Paulson, Lawrence C.; de Moura, Leonardo 1 2012 Decidability of univariate real algebra with predicates for rational and integer powers. Zbl 1465.03048Passmore, Grant Olney 1 2015 Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. Zbl 1468.68298Li, Wenda; Passmore, Grant Olney; Paulson, Lawrence C. 2 2019 Decidability of univariate real algebra with predicates for rational and integer powers. Zbl 1465.03048Passmore, Grant Olney 1 2015 Computation in real closed infinitesimal and transcendental extensions of the rationals. Zbl 1381.68278de Moura, Leonardo; Passmore, Grant Olney 7 2013 The strategy challenge in SMT solving. Zbl 1383.68084de Moura, Leonardo; Passmore, Grant Olney 6 2013 Impugning randomness, convincingly. Zbl 1262.68054Gurevich, Yuri; Passmore, Grant O. 2 2012 Abstract partial cylindrical algebraic decomposition. I: The lifting phase. Zbl 1357.68199Passmore, Grant Olney; Jackson, Paul B. 1 2012 Real algebraic strategies for MetiTarski proofs. Zbl 1360.68764Passmore, Grant Olney; Paulson, Lawrence C.; de Moura, Leonardo 1 2012 Combined decision techniques for the existential theory of the reals. Zbl 1247.03018Passmore, Grant Olney; Jackson, Paul B. 6 2009 all cited Publications top 5 cited Publications all top 5 Cited by 51 Authors 4 Ábrahám, Erika 3 Passmore, Grant Olney 3 Paulson, Lawrence Charles 2 Corzilius, Florian 2 Khanh, To Van 2 Kremer, Gereon 2 Li, Wenda 2 Muñoz, César A. 2 Narkawicz, Anthony Joseph 2 Ogawa, Mizuhito 2 Tung, Vu Xuan 2 Xu, Ming 1 Abbott, John A. 1 Becker, Bernd 1 Bigatti, Anna Maria 1 Boukouvala, Fani 1 Brain, Martin 1 Brauße, Franz 1 Buchberger, Bruno 1 Chakraborty, Supratik 1 Cimatti, Alessandro 1 Davenport, James Harold 1 de Moura, Leonardo 1 Deng, Yuxin 1 Dutle, Aaron 1 England, Matthew 1 Floudas, Christodoulos Achilleus 1 Fontaine, Pascal 1 Forrest, Stephen 1 Griggio, Alberto 1 Gupta, Ashutosh 1 Huang, Chengchao 1 Jain, Rahul 1 Junges, Sebastian 1 Kirchner, Hélène 1 Korovin, Konstantin 1 Korovina, Margarita Vladimirovna 1 Kröning, Daniel 1 Li, Zhibin 1 Misener, Ruth 1 Müller, Norbert Th. 1 Nipkow, Tobias 1 Rümmer, Philipp 1 Schupp, Stefan 1 Seiler, Werner M. 1 Shen, Alexander 1 Sturm, Thomas 1 Vovk, Vladimir G. 1 Wenzel, Makarius 1 Wintersteiger, Christoph M. 1 Zeljić, Aleksandar Cited in 5 Serials 6 Journal of Automated Reasoning 1 Information and Computation 1 Formal Aspects of Computing 1 European Journal of Operational Research 1 Formal Methods in System Design all top 5 Cited in 7 Fields 20 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Functions of a complex variable (30-XX) 1 Numerical analysis (65-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.