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

Olivier Bournez How much can analog and hybrid systems be proved (super-)Turing. 58-71 2006 178 Applied Mathematics and Computation 1 http://dx.doi.org/10.1016/j.amc.2005.09.070 db/journals/amc/amc178.html#Bournez06