SLEEF
From MaRDI portal
Cited in
(62)- Chebyshev approximation of log-determinants of spatial weight matrices
- Validated Evaluation of Special Mathematical Functions
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix exponential
- Simulating Low Precision Floating-Point Arithmetic
- scientific article; zbMATH DE number 1109070 (Why is no real title available?)
- Comparative study of RPSALG algorithm for convex semi-infinite programming
- Numeration and discrete dynamical systems
- A fast segmentation algorithm for piecewise polynomial numeric function generators
- Floating-Point LLL: Theoretical and Practical Aspects
- On the number of segments needed in a piecewise linear approximation
- Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
- Effective processor architecture for matrix decomposition
- Higher order numerical differentiation on the infinity computer
- A novel decimal logarithmic converter based on first-order polynomial approximation
- MetiTarski: An automatic theorem prover for real-valued special functions
- Some notes on a method for proving inequalities by computer
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
- scientific article; zbMATH DE number 7310208 (Why is no real title available?)
- Elementary functions. Algorithms and implementation
- SIPAMPL
- P-CORDIC
- NSIPS
- hfloat
- dfp
- Algorithm 524
- INTPAK
- Sollya
- Metalibm
- Zen
- Odespy
- RPSALG
- evalhf
- numapprox
- ratappr
- Sampling from discrete Gaussians for lattice-based cryptography on a constrained device
- CR-LIBM
- NEW9p
- numerov
- Algorithm 978
- BFloat16s
- CodeNet
- half
- detool
- scientific article; zbMATH DE number 2154394 (Why is no real title available?)
- Hypergeometric functions in exact geometric computation
- Bounds for variable degree rational L_ approximations to the matrix cosine
- An iterative method for improving decimal calculations on computers
- An elementary algorithm to evaluate trigonometric functions to high precision
- \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication
- Floating-point arithmetic in the Coq system
- Algorithm 1014
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- A computationally-efficient, semi-implicit, iterative method for the time-integration of reacting flows with stiff chemistry
- A Real Number Structure that is Effectively Categorical
- Affine functions and series with co-inductive real numbers
- Fast and correctly rounded logarithms in double-precision
- ReproBLAS
- Foundations of Exact Rounding
- Standardization and testing of implementations of mathematical functions in floating point numbers
- Dealing with the product constraint
- On Euler's attempt to compute logarithms by interpolation: a commentary to his letter of February 16, 1734 to Daniel Bernoulli
This page was built for software: SLEEF
