Search for tag: "pi (number)"

1 - Certifying infeasibility of a system of linear inequalities

From  capture carleton 17 plays

4 - Meyer's Theorem for rational polyhedra

From  capture carleton 16 plays