@InProceedings{ALR14, Author = "Avigad, J. and Lewis, R. and Roux, C.", Year = "2014", Title = "{A Heuristic Prover for Real Inequalities}", Editor = "Klein, G. and Gamboa, R.", BookTitle = "{Proceedings of the 5th International Conference on Interactive Theorem Proving}", Place = "Vienna, Austria", Series = "Lecture Notes in Computer Science", Number = "8558", Pages = "", Publisher = "Springer-Verlag", Comment = "" }