Timeline for Complexity of computing the antiderivative of a given function
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 25, 2017 at 15:53 | comment | added | Yuval Filmus | You'll have to check the paper for the exact definitions, but generally speaking, in computable analysis, a "real number" is a machine that accepts a tolerance $\epsilon$ and returns a rational $\epsilon$-approximation to the number. For the definition of "real function" you'll have to check the paper. | |
| Dec 25, 2017 at 15:50 | comment | added | user56834 | Thank you. When you say "computing the integral" does that mean computing the approximation at ever increasing precision? | |
| Dec 25, 2017 at 15:01 | history | answered | Yuval Filmus | CC BY-SA 3.0 |