@article{Avigad_2016,
    doi = {10.1007/s10817-015-9356-y},
    url = {https://doi.org/10.1007%2Fs10817-015-9356-y},
    year = {2016},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {56},
    number = {3},
    pages = {367--386},
    author = {Jeremy Avigad and Robert Y. Lewis and Cody Roux},
    title = {A Heuristic Prover for Real Inequalities},
    journal = {Journal of Automated Reasoning}
}

@article{Avigad_2016, doi = {10.1007/s10817-015-9356-y}, url = {https://doi.org/10.1007%2Fs10817-015-9356-y}, year = {2016}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {56}, number = {3}, pages = {367--386}, author = {Jeremy Avigad and Robert Y. Lewis and Cody Roux}, title = {A Heuristic Prover for Real Inequalities}, journal = {Journal of Automated Reasoning} }