Davenport, T.H.
1  results:
Search for persons X
?
1

Cylindrical algebraic decomposition for nonlinear arithmeti.. 

Aachener Informatik-Berichte ; 2020, 04;Technical report / Department of Computer Science, RWTH Aachen
Kremer, Gereon , May 2020
 
1-1