Andrew Fish

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Visual Algebraic Proofs for Unknot Detection Diagrammatic Representation and Inference	2023-02-23	Paper
Equivalences in Euler-based diagram systems through normal forms LMS Journal of Computation and Mathematics	2016-10-13	Paper
Efficient knot discrimination via quandle coloring with SAT and \#-SAT Mathematical Software – ICMS 2016	2016-09-28	Paper
Classifying links under fused isotopy Journal of Knot Theory and Its Ramifications	2016-07-14	Paper
A combinatorial approach to knot recognition	2015-05-25	Paper
Detecting Unknots via Equational Reasoning, I: Exploration Lecture Notes in Computer Science	2014-08-07	Paper
Abstractions of Euler diagrams	2013-09-26	Paper
Efficient on-line algorithms for Euler diagram region computation Computational Geometry	2010-10-15	Paper
Automated theorem proving in Euler diagram systems Journal of Automated Reasoning	2008-01-22	Paper
JONES POLYNOMIAL INVARIANTS Journal of Knot Theory and Its Ramifications	2006-05-10	Paper
Diagrammatic Representation and Inference Lecture Notes in Computer Science	2005-12-27	Paper

Research outcomes over time

This page was built for person: Andrew Fish