A heuristic prover for real inequalities Jeremy Avigad Robert Y. Lewis Cody Roux Carnegie Mellon University Pittsburgh, PAUSA - Lewis University - Document - PDFSEARCH.IO

First Page	Meta Content
	A heuristic prover for real inequalities Jeremy Avigad Robert Y. Lewis Cody Roux Carnegie Mellon University Pittsburgh, PAUSA Add to Reading List Document Date: 2014-04-29 17:32:56 Open Document File Size: 250,57 KB Share Result on Facebook

A heuristic prover for real inequalities Jeremy Avigad Robert Y. Lewis Cody Roux Carnegie Mellon University Pittsburgh, PAUSAAdd to Reading List