Travelled to:1 × Germany
1 × USA
Collaborated with:∅ L.M.d.Moura D.Ignatovich
Talks about:ration (2) real (2) transcendent (1) infinitesim (1) algorithm (1) univari (1) financi (1) algebra (1) predic (1) formal (1)
Person: Grant Olney Passmore
DBLP: Passmore:Grant_Olney
Contributed to:
201520132017Wrote 3 papers:
- CADE-2015-Passmore #algebra #decidability #integer
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (GOP), pp. 181–196.
- CADE-2013-MouraP
- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (LMdM, GOP), pp. 178–192.
- CADE-2017-PassmoreI #algorithm #verification
- Formal Verification of Financial Algorithms (GOP, DI), pp. 26–41.