Automatic Construction and Verification of Isotopy Invariants

DOI10.1007/11814771_5zbMATH Open1214.68337OpenAlexW1853694484MaRDI QIDQ3613399FDOQ3613399

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

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

Recommendations

• Automatic construction and verification of isotopy invariants
• On a class of isotopy invariants
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• scientific article
• Isotopy Invariants of Graphs
• scientific article; zbMATH DE number 4072432
• Automatic Generation of Polynomial Loop Invariants
• Refining invariants for computing autotopism groups of partial Latin rectangles
• Automated reasoning for knot semigroups and \(\pi\)-orbifold groups of knots

Mathematics Subject Classification ID

Cited In (3)

• Automatic construction and verification of isotopy invariants
• Classification results in quasigroup and loop theory via a combination of automated reasoning tools.
• Automated Reasoning

Uses Software

• GAP
• SPASS
• Mace4
• Chaff
• CVC Lite

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613399)