The following pages link to Grant Olney Passmore (Q1725843):
Displaying 11 items.
- (Q454395) (redirect page) (← links)
- Impugning randomness, convincingly (Q454396) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase (Q2904452) (← links)
- Real Algebraic Strategies for MetiTarski Proofs (Q2907335) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- (Q4904108) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (Q4928437) (← links)
- The Imandra Automated Reasoning System (System Description) (Q5049029) (← links)