SLEEF

swMATH5889MaRDI QIDQ18028FDOQ18028

Author name not available (Why is that?)

Source code repository: https://github.com/shibatch/sleef

Cited In (37)

• 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
• Hypergeometric Functions in Exact Geometric Computation
• 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?)
• Sampling from discrete Gaussians for lattice-based cryptography on a constrained device
• Title not available (Why is that?)
• Bounds for variable degree rational \(L_\infty\) approximations to the matrix cosine
• An elementary algorithm to evaluate trigonometric functions to high precision
• 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
• 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
• Foundations of Exact Rounding
• Elementary Functions
• 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
• Validated Evaluation of Special Mathematical Functions

This page was built for software: SLEEF