Hacker News new | ask | show | jobs
by jjtheblunt 200 days ago
https://en.wikipedia.org/wiki/Risch_algorithm

is super interesting, related to your last sentence.