`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:

### Wrote 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.