Report - Proving Tight Bounds on Univariate Expressions with ...melquion/doc/15-jar.pdfProving Tight Bounds on Univariate Expressions with Elementary Functions in Coq 3 1.1 Background and Scope

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form