Topics in Computable Mathematics, NSF (2009–12) Grant uri icon