[blt]

Many CS papers, at least in machine learning, state an algorithm in terms of real numbers and use results from real analysis to prove properties of the algorithm.