Pages that link to "Item:Q5495915"
From MaRDI portal
The following pages link to Detecting Unknots via Equational Reasoning, I: Exploration (Q5495915):
Displaying 7 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)
- A neural network approach to predicting and computing knot invariants (Q5111763) (← links)
- Visual Algebraic Proofs for Unknot Detection (Q5878863) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning (Q6591561) (← links)
- Machine learning discovers invariants of braids and flat braids (Q6621351) (← links)