Automated symbolic integration (calculus) is hard. Sometimes it is impossible: the integral cannot be expressed over some basis of "elementary" functions. Create a symbolic integrator which spawns two threads, one which searches for the answer, and the other, with automated theorem proving, also hard, searches for a proof that the answer is impossible.
What is the simplest expression that fails both?
No comments :
Post a Comment