15 citations · 28 across the 12 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
stat.OT2015
Impugning Randomness, Convincingly
Yuri Gurevich, Grant Olney Passmore
John organized a state lottery and his wife won the main prize. You may feel that the event of her winning wasn't particularly random, but how would you argue that in a fair court…
math.LO2015
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
Grant Olney Passmore
We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., and . Our decision pro…
cs.LO2015★ 13 cited
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
We present a proof procedure for univariate real polynomial problems in Isabelle/HOL. The core mathematics of our procedure is based on univariate cylindrical algebraic decompositi…