Hacker News new | ask | show | jobs
by ogogmad 202 days ago
Numerical integration using interval arithmetic gets you the same thing but in a completely rigorous way.