bibliographer - Grant Olney Passmore

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Imandra Automated Reasoning System (system description) Grant Olney Passmore Simon Cruanes Denis Ignatovich Dave Aitken Matt Bray Elijah Kagan Kostya Kanishev Ewen Maclean Nicola Mometto [github]

Impugning Randomness, Convincingly Yuri Gurevich Grant Olney Passmore [github]

Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals Leonardo de Moura Grant Olney Passmore [github]

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL Wenda Li Grant Olney Passmore Lawrence C. Paulson [github]

Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers Grant Olney Passmore [github]

Combined Decision Techniques for the Existential Theory of the Reals Grant Olney Passmore Paul B. Jackson [github]

Combined decision procedures for nonlinear arithmetics, real and complex Grant Olney Passmore [github]

Library Size: 13G (7 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]