The following pages link to SLEEF (Q18028):
Displaying 37 items.
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix cosine (Q339264) (← links)
- A computationally-efficient, semi-implicit, iterative method for the time-integration of reacting flows with stiff chemistry (Q350106) (← links)
- Numeration and discrete dynamical systems (Q411444) (← links)
- A novel decimal logarithmic converter based on first-order polynomial approximation (Q453697) (← links)
- Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically (Q470915) (← links)
- A fast segmentation algorithm for piecewise polynomial numeric function generators (Q548302) (← links)
- Higher order numerical differentiation on the infinity computer (Q644507) (← links)
- Floating-point arithmetic in the Coq system (Q714617) (← links)
- Sampling from discrete Gaussians for lattice-based cryptography on a constrained device (Q742507) (← links)
- \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication (Q765495) (← links)
- Standardization and testing of implementations of mathematical functions in floating point numbers (Q926622) (← links)
- On Euler's attempt to compute logarithms by interpolation: a commentary to his letter of February 16, 1734 to Daniel Bernoulli (Q935800) (← links)
- Chebyshev approximation of log-determinants of spatial weight matrices (Q956825) (← links)
- On the number of segments needed in a piecewise linear approximation (Q964964) (← links)
- An iterative method for improving decimal calculations on computers (Q969976) (← links)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Effective processor architecture for matrix decomposition (Q1639811) (← links)
- Dealing with the product constraint (Q2170204) (← links)
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix exponential (Q2335763) (← links)
- Comparative study of RPSALG algorithm for convex semi-infinite programming (Q2515065) (← links)
- Some notes on a method for proving inequalities by computer (Q2634304) (← links)
- Applied interval analysis. With examples in parameter and state estimation, robust control and robotics. Incl. 1 CD-ROM (Q2713275) (← links)
- Elementary Functions (Q3186642) (← links)
- Affine functions and series with co-inductive real numbers (Q3431543) (← links)
- Foundations of Exact Rounding (Q3605482) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- (Q4373854) (← links)
- (Q4664920) (← links)
- An elementary algorithm to evaluate trigonometric functions to high precision (Q4689431) (← links)
- Hypergeometric Functions in Exact Geometric Computation (Q4916183) (← links)
- (Q5150581) (← links)
- Floating-Point LLL: Theoretical and Practical Aspects (Q5188541) (← links)
- Simulating Low Precision Floating-Point Arithmetic (Q5241264) (← links)
- Fast and correctly rounded logarithms in double-precision (Q5444104) (← links)
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (Q5458427) (← links)
- Validated Evaluation of Special Mathematical Functions (Q5505500) (← links)
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra (Q5747872) (← links)
