@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      = ""
}