Grant Olney Passmore

Available identifiers

zbMath Open passmore.grant-olneyWikidataQ5596388 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
https://portal.mardi4nfdi.de/entity/Q4904108	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Grant Olney Passmore