Vol-2260⫷ Vol-2261 ⫸Vol-2262
urn:nbn:de:0074-2261-0


Vol-2261/paper4⫷Vol-2261/paper5⫸Vol-2261/paper6
Andrew FishAlexei Lisitsa 0001Alexei Vernitski

Towards Human Readability of Automated Unknottedness Proofs