@InProceedings{LAR14,
    Author       = "Lewis, R. and Avigad, J. and Roux, C.",
    Year         = "2014",
    Title        = "{A Heuristic Prover for Real Inequalities}",
    Editor       = "Gomolinska, A. and Bartosiewicz, Z.",
    BookTitle    = "{Abstracts of the 6th Podlasie Conference on Mathematics}",
    Place        = "Bialystok, Poland",
    Pages        = "47-48",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}