Report copyright - 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
Please pass captcha verification before submit form