swMATH5889MaRDI QIDQ18028FDOQ18028
Author name not available (Why is that?)
Official website: https://sleef.org
Source code repository: https://github.com/shibatch/sleef
Cited In (62)
- Title not available (Why is that?)
- Chebyshev approximation of log-determinants of spatial weight matrices
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix exponential
- Simulating Low Precision Floating-Point Arithmetic
- Title not available (Why is that?)
- Comparative study of RPSALG algorithm for convex semi-infinite programming
- Numeration and discrete dynamical systems
- Floating-Point LLL: Theoretical and Practical Aspects
- A fast segmentation algorithm for piecewise polynomial numeric function generators
- 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
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
- MetiTarski: An automatic theorem prover for real-valued special functions
- Some notes on a method for proving inequalities by computer
- Title not available (Why is that?)
- Elementary functions. Algorithms and implementation
- Sampling from discrete Gaussians for lattice-based cryptography on a constrained device
- Title not available (Why is that?)
- Hypergeometric functions in exact geometric computation
- SIPAMPL
- P-CORDIC
- NSIPS
- hfloat
- dfp
- Algorithm 524
- INTPAK
- Sollya
- Metalibm
- Zen
- Odespy
- RPSALG
- evalhf
- numapprox
- ratappr
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix cosine
- CR-LIBM
- NEW9p
- numerov
- Algorithm 978
- An elementary algorithm to evaluate trigonometric functions to high precision
- BFloat16s
- CodeNet
- half
- An iterative method for improving decimal calculations on computers
- \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- detool
- Floating-point arithmetic in the Coq system
- 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
- Fast and correctly rounded logarithms in double-precision
- Affine functions and series with co-inductive real numbers
- ReproBLAS
- Foundations of Exact Rounding
- Standardization and testing of implementations of mathematical functions in floating point numbers
- Dealing with the product constraint
- Algorithm 1014
- On Euler's attempt to compute logarithms by interpolation: a commentary to his letter of February 16, 1734 to Daniel Bernoulli
- Validated Evaluation of Special Mathematical Functions
This page was built for software: SLEEF
