Title: Mining mathematics