3 ms·Computable numbers, with an application to the Druckproblem – ScienceDirect1 points by lisper 2y ago