Davenport, Matthew H
1790  results:
Search for persons X
?
 
?
15

Deciding the consistency of non-linear real arithmetic cons..:

Ábrahám, Erika ; Davenport, James H. ; England, Matthew.
Journal of Logical and Algebraic Methods in Programming.  119 (2021)  - p. 100633 , 2021
 
1-15