Automatic Construction and Verification of Isotopy Invariants.

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton

Browse the full CADE paper archive.