A Heuristic Prover for Real Inequalities
Crossref DOI link: https://doi.org/10.1007/s10817-015-9356-y
Published Online: 2016-01-08
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Avigad, Jeremy
Lewis, Robert Y.
Roux, Cody
Funding for this research was provided by:
Air Force Office of Scientific Research (FA9550-15-1-0053)
Text and Data Mining valid from 2016-01-08
Version of Record valid from 2016-01-08
Article History
Received: 17 December 2015
Accepted: 19 December 2015
First Online: 8 January 2016