Pages that link to "Item:Q5495915"
From MaRDI portal
The following pages link to Detecting Unknots via Equational Reasoning, I: Exploration (Q5495915):
Displayed 4 items.
- Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links (Q2413512) (← links)
- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT (Q2819199) (← links)
- Visual Algebraic Proofs for Unknot Detection (Q5878863) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)