@article{avigad-2016-a, title={A Heuristic Prover for Real Inequalities}, volume={56}, ISSN={1573-0670}, url={http://dx.doi.org/10.1007/s10817-015-9356-y}, DOI={10.1007/s10817-015-9356-y}, number={3}, journal={Journal of Automated Reasoning}, publisher={Springer Science and Business Media LLC}, author={Avigad, Jeremy and Lewis, Robert Y. and Roux, Cody}, year={2016}, month=Jan, pages={367–386} }