Grant Olney Passmore

zbMath Openpassmore.grant-olneyDBLP70/7260WikidataQ5596388 ScholiaQ5596388MaRDI QIDQ1725843

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Grant Olney Passmore