
"Move Until Dark" Certificates 

"Turning" 

"Turning" Certificates 

23 tree 

A Groebner Basis Module for Comp 260 

a polynomial of degree $n$ over a field has at most $n$ roots 

A variety of PETSc tutorials 

abstract family of languages 

Ackermann function 

Ackermann function is not primitive recursive 