BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Passmore:Grant_Olney

Contributed to:

CADE 20152015
CADE 20132013
CADE 20172017

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.