scientific article; zbMATH DE number 226866
From MaRDI portal
Publication:5286655
Recommendations
Cited in
(48)- Dense linear system: A parallel self-verified solver
- Interval Methods for Global Optimization Using the Boxing Method
- Computing enclosures for the inverse square root and the sign function of a matrix
- Multiple/arbitrary precision interval computations in C-XSC
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- Verified error bounds for solutions of Sylvester matrix equations
- The exact dot product as basic tool for long interval arithmetic
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Interval input and output
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree
- scientific article; zbMATH DE number 58446 (Why is no real title available?)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Computing enclosures for the matrix exponential
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Interval analysis: Theory and applications
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- New solutions of the Gelfand problem
- A certificate-based approach to formally verified approximations
- Design of a parallel linear algebra library for verified computation
- Variable-precision, interval arithmetic coprocessors
- Computational existence proofs for spherical \(t\)-designs
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- Fast interval matrix multiplication
- Empirical convergence speed of inclusion functions for facility location problems
- C-XSC
- Computational error bounds for multiple or nearly multiple eigenvalues
- Parallel methods for verified global optimization practice and theory
- A new inclusion function for optimization: kite -- the one-dimensional case
- scientific article; zbMATH DE number 434845 (Why is no real title available?)
- scientific article; zbMATH DE number 524111 (Why is no real title available?)
- Inner and outer bounds for the solution set of parametric linear systems
- An interval branch and bound method for global robust optimization
- Numerical Software with Result Verification
- Fast and correctly rounded logarithms in double-precision
- Enclosing Chebyshev expansions in linear time
- Computer-assisted enclosure methods for elliptic differential equations
- Extended interval Newton method based on the precise quotient set
- Very fast and exact accumulation of products
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Robustness and Randomness
- The impact of data distribution in accuracy and performance of parallel linear algebra subroutines
- Solving dense interval linear systems with verified computing on multicore architectures
- High performance verified computing using C-XSC
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Global attractivity of the zero solution for Wright's equation
- New interval methods for constrained global optimization
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286655)
