Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Recursion schemes, discrete differential equations and characterization of polynomial time computation
Olivier Bournez, Arnaud Durand, Sabrina Ouazzani
This papers studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs). It presents a new framework using discrete ODEs as a central tool for…
cs.LO2018
Cheap Non-standard Analysis and Computability
Olivier Bournez, Sabrina Ouazzani
Non standard analysis is an area of Mathematics dealing with notions of infinitesimal and infinitely large numbers, in which many statements from classical analysis can be expresse…