181 reputation
2
bio website
location Paris, France
age 29
visits member for 1 year, 6 months
seen Aug 15 at 7:42

Quantitative analyst in an investment bank in Paris.


Aug
5
awarded  Teacher
Aug
5
answered In calculus, which questions can the naive ask that the learned cannot answer?
Aug
5
comment In calculus, which questions can the naive ask that the learned cannot answer?
As a (negative) application, the Risch algorithm, which is supposed to decide whether a function admits a closed-form antiderivative (and computes it if it exsts), cannot decide in general exactly because of this. The proof of its termination relies on one being able to tell whether a given expression is zero.
Aug
5
comment In calculus, which questions can the naive ask that the learned cannot answer?
@MichaelHardy: Your operator is nothing more than the Euler-Maclaurin series :)
Jan
25
awarded  Supporter