eugh, now I have to prove this algorithm is correct
@christianp If the proof wasn't developed alongside the algorithm, that's really, really hard. When I was faced with that I often worked on it for a bit, then gave up and derived the algorithm from the ground up with its proof, often finding bugs along the way.
It's been a long time since I did that, though.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.