First presenter			Co-presenter(s)
Name :	Robert McGrail *		Name:
E-mail:			E-mail:
Affiliation:	Bard College		Name:
Department:			E-mail:
City:			Name:
State/Province:			E-mail:
Country:	USA		Name:
Talk Number:	06-07		E-mail:
Session:	6- Applications of Math Software to Mathematical Research		Schedule:   Room:	Saturday, 9:00   B-2620
Related website:
Title of presentation:	Toward Computational Dichotomy for Finite Quandles
Abstract:
Recent developments in universal algebra have revealed a significant relationship between the structure of finite algebras and the constraint satisfaction problem (CSP). The main goal of the Bard College Laboratory for Algebraic and Symbolic Computation (ASC) is to classify all finite quandles through the CSP. This talk presents an overview of this research project that focuses upon how systems such as GAP, KnotPlot, Mathematica, Prover9/Mace4, and SWI-Prolog have played essential roles.