The following pages link to (Q5286655):
Displayed 44 items.
- C-XSC (Q12948) (← links)
- High performance verified computing using C-XSC (Q382427) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- The exact dot product as basic tool for long interval arithmetic (Q644846) (← links)
- Very fast and exact accumulation of products (Q644853) (← links)
- Extended interval Newton method based on the precise quotient set (Q644874) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Inner and outer bounds for the solution set of parametric linear systems (Q861892) (← links)
- Empirical convergence speed of inclusion functions for facility location problems (Q861908) (← links)
- Dense linear system: A parallel self-verified solver (Q941827) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree (Q1365650) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation (Q1774292) (← links)
- Parallel methods for verified global optimization practice and theory (Q1817314) (← links)
- Improved validated bounds for Taylor coefficients and for Taylor remainder series (Q1872963) (← links)
- Design of a parallel linear algebra library for verified computation (Q1904355) (← links)
- Variable-precision, interval arithmetic coprocessors (Q1916973) (← links)
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic (Q1998458) (← links)
- An interval branch and bound method for global robust optimization (Q2046260) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- New interval methods for constrained global optimization (Q2490338) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context (Q2572918) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- A new inclusion function for optimization: kite -- the one-dimensional case (Q2574104) (← links)
- Global Attractivity of the Zero Solution for Wright's Equation (Q2876683) (← links)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (Q2974076) (← links)
- The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines (Q3081378) (← links)
- Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures (Q3081381) (← links)
- SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems (Q3564542) (← links)
- Interval Input and Output (Q4577103) (← links)
- Interval Methods for Global Optimization Using the Boxing Method (Q4577116) (← links)
- Enclosing Chebyshev Expansions in Linear Time (Q4960945) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Robustness and Randomness (Q5302770) (← links)
- Fast and correctly rounded logarithms in double-precision (Q5444104) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)