Using Stlmarck's Algorithm to Prove Inequalities.

Byron Cook, Georges Gonthier

Browse the full ICFEM paper archive.