This proof is interesting, and the article is also great in explaining what it's doing, and how.
Is there any link to how the algorithm actually works, rather than why? (i.e. can I see some code somewhere).
I read the article, and skimmed the paper, but didn't immediately see it.
ok, I went back and reskimmed the paper, turns out "algorithm A1" is in the appendices, I guess that's it? I haven't dug into it much yet. Can anyone confirm? (And can anyone link to an equivalent written in an actual programming language, which I'd find easier to parse)
Is there any link to how the algorithm actually works, rather than why? (i.e. can I see some code somewhere).
I read the article, and skimmed the paper, but didn't immediately see it.
ok, I went back and reskimmed the paper, turns out "algorithm A1" is in the appendices, I guess that's it? I haven't dug into it much yet. Can anyone confirm? (And can anyone link to an equivalent written in an actual programming language, which I'd find easier to parse)