Automatic Construction and Verification of Isotopy Invariants

DOI10.1007/11814771_5zbMath1214.68337OpenAlexW1853694484MaRDI QIDQ3613399

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

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_5

Mathematics Subject Classification ID

Related Items

Automatic construction and verification of isotopy invariants

Uses Software

• GAP
• SPASS
• Mace4
• Chaff
• CVC Lite

This page was built for publication: Automatic Construction and Verification of Isotopy Invariants