Date of Submission
Computer Science; Mathematics
Project Advisor 1
Project Advisor 2
This senior project focuses on a collection of algebras that arise in knot theory called quandles. In particular, we study how to distinguish non-isomorphic quandles using different computational methods. Most of this work is built on The Library for Automated Deduction Research (LADR). Within LADR, the program isofilter removes the isomorphic duplicates for a collection of first-order models, but it works very slowly in general. In this senior project, we propose an augmented algorithm to filter quandles using computable invariants: we separate a stream of input quandles into different buckets based on the invariants; then we apply isofilter to the buckets containing more than one quandles. In fact, our invariant checking can distinguish most of the isomorphism classes for quandles up to size 30. It thus improves the quandle filtering process by largely reducing the use of isofilter.
Access restricted to On-Campus only
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License.
Wu, Zhiwei, "Computable Invariants for Quandles" (2012). Senior Projects Spring 2012. 306.