Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
Crossref DOI link: https://doi.org/10.1007/s10817-015-9350-4
Published Online: 2015-10-05
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Martin-Dorel, Érik
Melquiond, Guillaume
Funding for this research was provided by:
Agence Nationale de la Recherche (FR) (ID0EANAE45)
Text and Data Mining valid from 2015-10-05