Grant Olney Passmore

Available identifiers

zbMath Open passmore.grant-olneyDBLP70/7260WikidataQ5596388 ScholiaQ5596388MaRDI QIDQ1725843

List of research outcomes

Publication	Date of Publication	Type
An augmented MetiTarski dataset for real quantifier elimination using machine learning	2024-02-28	Paper
The Imandra Automated Reasoning System (System Description)	2022-11-09	Paper
Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL	2019-02-15	Paper
Decidability of univariate real algebra with predicates for rational and integer powers	2015-12-02	Paper
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals	2013-06-14	Paper
The strategy challenge in SMT solving	2013-04-16	Paper
Impugning randomness, convincingly	2013-01-28	Paper
Impugning randomness, convincingly	2012-10-01	Paper
Real Algebraic Strategies for MetiTarski Proofs	2012-09-07	Paper
Abstract partial cylindrical algebraic decomposition. I: The lifting phase	2012-08-14	Paper
Combined Decision Techniques for the Existential Theory of the Reals	2009-07-09	Paper

Research outcomes over time

This page was built for person: Grant Olney Passmore