3 citations · 3 across the 4 of their papers we have counts for
4 papers
Type Annotation for Adaptive Systems
Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this appro…
A combinatorial approach to knot recognition
Andrew Fish, Alexei Lisitsa, David Stanovský
This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper…
Detecting unknots via equational reasoning, I: Exploration
Andrew Fish, Alexei Lisitsa
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using…
Classifying links under fused isotopy
Andrew Fish, Ebru Keyman
All knots are fused isotopic to the unknot via a process known as virtualization. We extend and adapt this process to show that, up to fused isotopy, classical links are classified…