A Heuristic Prover for Real Inequalities.

Jeremy Avigad, Robert Y. Lewis, Cody Roux

Browse the full ITP paper archive.