The following pages link to Andrew Fish (Q709067):
Displayed 12 items.
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- An unknotting invariant for welded knots (Q2062924) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT (Q2819199) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- (Q2848469) (← links)
- Classifying links under fused isotopy (Q3178573) (← links)
- JONES POLYNOMIAL INVARIANTS (Q5291350) (← links)
- Detecting Unknots via Equational Reasoning, I: Exploration (Q5495915) (← links)
- Diagrammatic Representation and Inference (Q5714112) (← links)
- Visual Algebraic Proofs for Unknot Detection (Q5878863) (← links)
- A combinatorial approach to knot recognition (Q6262075) (← links)