Extending a Resolution Prover for Inequalities on Elementary Functions.

Behzad Akbarpour, Lawrence C. Paulson

Browse the full LPAR paper archive.