Andrew Fish

Available identifiers

zbMath Open fish.andrewMaRDI QIDQ709067

List of research outcomes

Publication	Date of Publication	Type
Visual Algebraic Proofs for Unknot Detection	2023-02-23	Paper
Equivalences in Euler-based diagram systems through normal forms	2016-10-13	Paper
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT	2016-09-28	Paper
Classifying links under fused isotopy	2016-07-14	Paper
A combinatorial approach to knot recognition	2015-05-25	Paper
Detecting Unknots via Equational Reasoning, I: Exploration	2014-08-07	Paper
Abstractions of Euler diagrams	2013-09-26	Paper
Efficient on-line algorithms for Euler diagram region computation	2010-10-15	Paper
Automated theorem proving in Euler diagram systems	2008-01-22	Paper
JONES POLYNOMIAL INVARIANTS	2006-05-10	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper

Research outcomes over time

This page was built for person: Andrew Fish