The study of subshifts of finite type involves combinatorics, graph theory, and linear algebra. The goal of project is the computation of invariants such as the entropy and dimension group of a ...

Familiarity with linear algebra is expected. In addition, students should have taken a proof-based course such as CS 212 or Math 300. Tensors, or multiindexed arrays, generalize matrices (two ...