How much can analog and hybrid systems be proved (super-)Turing (2006)

by O Bournez
Venue:Applied Mathematics and Computation