Find link

language:

Find link is a tool written by Edward Betts.

searching for Grant Olney 3 found (7 total)

Automated reasoning (1,352 words) [view diff] exact match in snippet view article find links to article

Retrieved on 2010-10-23 Boyer, Robert S. and Moore, J Strother and Passmore, Grant Olney The PLTP Archive. Retrieved on 2023-07-27 Harrison, John HOL Light: an

Sturm's theorem (2,809 words) [view diff] exact match in snippet view article find links to article

1145/800204.806312. MR 0300434. S2CID 9971778. de Moura, Leonardo; Passmore, Grant Olney (2013). "Computation in Real Closed Infinitesimal and Transcendental

Existential theory of the reals (3,763 words) [view diff] exact match in snippet view article find links to article

doi:10.1145/62212.62257, ISBN 0-89791-264-0, S2CID 14535463 Passmore, Grant Olney; Jackson, Paul B. (2009), "Combined decision techniques for the existential