SLEEF
From MaRDI portal
Software:18028
No author found.
Source code repository: https://github.com/shibatch/sleef
Related Items (37)
Unnamed Item ⋮ Unnamed Item ⋮ Some notes on a method for proving inequalities by computer ⋮ Effective processor architecture for matrix decomposition ⋮ Elementary Functions ⋮ Bounds for variable degree rational \(L_\infty\) approximations to the matrix cosine ⋮ A computationally-efficient, semi-implicit, iterative method for the time-integration of reacting flows with stiff chemistry ⋮ Dealing with the product constraint ⋮ Numeration and discrete dynamical systems ⋮ Higher order numerical differentiation on the infinity computer ⋮ A novel decimal logarithmic converter based on first-order polynomial approximation ⋮ Standardization and testing of implementations of mathematical functions in floating point numbers ⋮ Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically ⋮ On Euler's attempt to compute logarithms by interpolation: a commentary to his letter of February 16, 1734 to Daniel Bernoulli ⋮ Chebyshev approximation of log-determinants of spatial weight matrices ⋮ Hypergeometric Functions in Exact Geometric Computation ⋮ On the number of segments needed in a piecewise linear approximation ⋮ An iterative method for improving decimal calculations on computers ⋮ MetiTarski: An automatic theorem prover for real-valued special functions ⋮ A fast segmentation algorithm for piecewise polynomial numeric function generators ⋮ The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra ⋮ Floating-point arithmetic in the Coq system ⋮ Floating-Point LLL: Theoretical and Practical Aspects ⋮ Fast and correctly rounded logarithms in double-precision ⋮ Foundations of Exact Rounding ⋮ An elementary algorithm to evaluate trigonometric functions to high precision ⋮ Comparative study of RPSALG algorithm for convex semi-infinite programming ⋮ Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base ⋮ Sampling from discrete Gaussians for lattice-based cryptography on a constrained device ⋮ \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication ⋮ Simulating Low Precision Floating-Point Arithmetic ⋮ Unnamed Item ⋮ Validated Evaluation of Special Mathematical Functions ⋮ Bounds for variable degree rational \(L_\infty\) approximations to the matrix exponential ⋮ Affine functions and series with co-inductive real numbers ⋮ A Real Number Structure that is Effectively Categorical ⋮ Unnamed Item
This page was built for software: SLEEF
