Fingerprint
Dive into the research topics of 'Automatic Construction and Verification of Isotopy Invariants'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton
Research output: Contribution to journal › Article › peer-review