Applications of Groebner bases to graph theory, geometric theorem
discovery, and phylogenetic ideals

This lecture is part of a tutorial on Groebner bases presented at
ISSAC last July. The mathematics is straightforward but the applications
to
graph theory, geometric theorem discovery, and phylogenetic ideals are
fun.