The following pages link to (Q5715562):
Displayed 14 items.
- SLEEF (Q18028) (← links)
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix cosine (Q339264) (← links)
- Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically (Q470915) (← links)
- Higher order numerical differentiation on the infinity computer (Q644507) (← 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)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Dealing with the product constraint (Q2170204) (← links)
- Bounds for variable degree rational \(L_\infty\) approximations to the matrix exponential (Q2335763) (← links)
- Dynamical directions in numeration (Q2372766) (← 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)
- Enclosing Chebyshev Expansions in Linear Time (Q4960945) (← links)
- Newton’s Method Without Division (Q6170926) (← links)