Automatic Construction and Verification of Isotopy Invariants

DOI10.1007/11814771_5MaRDI QIDQ3613399zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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; zbMATH DE number 4160159
• 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

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

Describes a project that uses

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)