Dataset - CKAN

Rigorous Polynomial Approximations and Applications

For purposes of evaluation and manipulation, mathematical functions f are commonly replaced by approximation polynomials p. Examples include floating-point...
- HTML
Rigorous Polynomial Approximation using Taylor Models in Coq

International audience
- HTML
Certified, Efficient and Sharp Univariate Taylor Models in COQ

International audience
- HTML

You can also access this registry using the API (see API Docs).

3 datasets found