4 ms·

I don't know about this particular case though, I get the feeling there's a system to it that can be exploited by eg Wolfram. It's just that you're in the dark

I don't know about this particular case though, I get the feeling there's a system to it that can be exploited by eg Wolfram. It's just that you're in the dark for a long time before you find the switch.

BearOso 11mo ago
I think it just tokenizes everything and does pattern matching to find compositions it can exploit. It's not unlike compiler optimization.
cyberax 11mo ago
Your intuition is right. There is a general algorithm for finding the antiderivatives: https://en.wikipedia.org/wiki/Risch_algorithm https://en.wikipedia.org/wiki/Risch_algorithm Its simplified form can solve pretty much all the undergrad antiderivation problems. I'm a math major, but I consider the time spent learning the tricks for antiderivation to be kinda useless.
- paulpauper 11mo ago
  that is fascinating, especially the example integral given by henri cohen
- nextaccountic 11mo ago
  Does this makes use of differentiation under the integral sign? (the discussed Feynmann trick)
  - cyberax 11mo ago
    It doesn't. But if there is an elementary antiderivative, the Risch algorithm will find it (given the caveats listed in the Wikipedia article). But it might require a lot of substitutions, making its manual application impractical. Another caveat is that Risch algorithm applies only to antiderivatives, not to the definite integrals. Some definite integrals can be computed without finding the antiderivative, often with the help of Feynman's trick.
hershkumar 11mo ago
“Perhaps I could best describe my experience of doing mathematics in terms of entering a dark mansion. One goes into the ﬁrst room, and it’s dark, completely dark. One stumbles around bumping into the furniture, and gradually, you learn where each piece of furniture is, and ﬁnally, after six months or so, you ﬁnd the light switch. You turn it on, and suddenly, it’s all illuminated. You can see exactly where you were.” - Andrew Wiles

BearOso 11mo ago

I think it just tokenizes everything and does pattern matching to find compositions it can exploit. It's not unlike compiler optimization.

cyberax 11mo ago

Your intuition is right. There is a general algorithm for finding the antiderivatives: https://en.wikipedia.org/wiki/Risch_algorithm https://en.wikipedia.org/wiki/Risch_algorithm Its simplified form can solve pretty much all the undergrad antiderivation problems. I'm a math major, but I consider the time spent learning the tricks for antiderivation to be kinda useless.

paulpauper 11mo ago
that is fascinating, especially the example integral given by henri cohen
nextaccountic 11mo ago
Does this makes use of differentiation under the integral sign? (the discussed Feynmann trick)
- cyberax 11mo ago
  It doesn't. But if there is an elementary antiderivative, the Risch algorithm will find it (given the caveats listed in the Wikipedia article). But it might require a lot of substitutions, making its manual application impractical. Another caveat is that Risch algorithm applies only to antiderivatives, not to the definite integrals. Some definite integrals can be computed without finding the antiderivative, often with the help of Feynman's trick.

hershkumar 11mo ago

“Perhaps I could best describe my experience of doing mathematics in terms of entering a dark mansion. One goes into the ﬁrst room, and it’s dark, completely dark. One stumbles around bumping into the furniture, and gradually, you learn where each piece of furniture is, and ﬁnally, after six months or so, you ﬁnd the light switch. You turn it on, and suddenly, it’s all illuminated. You can see exactly where you were.” - Andrew Wiles