swMATH182MaRDI QIDQ12949FDOQ12949
Author name not available (Why is that?)
Official website: https://www2.math.uni-wuppertal.de/org/WRST/xsc-frame/literatur/lit_wrswt.html
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interval Methods for Global Optimization Using the Boxing Method
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- Title not available (Why is that?)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- Interval arithmetic for input-output models with inexact data
- Optimal centers in branch-and-prune algorithms for univariate global optimization
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- An enclosure method for the solution of linear odes with polynomial coefficients
- Advanced Arithmetic for the Digital Computer
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing enclosures for the matrix exponential
- Numerical Software with Result Verification
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A certificate-based approach to formally verified approximations
- Parallel Processing and Applied Mathematics
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- Computable bounds for Taylor coefficients of analytic functions
- Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
- Title not available (Why is that?)
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- Computer-assisted proofs in PDE: a survey
- LpSpectral Radius Estimates for the Lamé System on an Infinite Sector
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Empirical convergence speed of inclusion functions for facility location problems
- Improved interval methods for solving circle packing problems in the unit square
- Parallel methods for verified global optimization practice and theory
- Title not available (Why is that?)
- Global optimization using interval arithmetic
- A new inclusion function for optimization: kite -- the one-dimensional case
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- Solving discrete minimax problems using interval arithmetic
- An interval branch and bound method for global robust optimization
- The basic properties of interval arithmetic, its software realizations and some applications
- Accurate computation of traffic workload distributions
- How trivial are reliable box-plane intersections?
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fast and correctly rounded logarithms in double-precision
- 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
- Polynomial Factorization for Servers with Semi-Markovian Workload: Performance and Numerical Aspects of a Verified Solution Technique
- Title not available (Why is that?)
- A new parallel method for verified global optimization
- Global dynamic optimization using edge-concave underestimator
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- Global smooth solutions for the inviscid SQG equation
- Enclosing solutions of an inverse Sturm-Liouville problem for an impedance
- New accurate expressions in C-XSC
- Interval input and output
- Mathematics and speed for interval arithmetic: a complement to IEEE 1788
- Title not available (Why is that?)
- Automatic forward error analysis for floating point algorithms
- Verifying the existence of a zero for all elements of a function set
- Title not available (Why is that?)
- Interval Subroutine Library Mission
- Some properties of linear complementarity problem with a parametric \(P\)-matrix and its smooth approximation problem with the entropy function
- Numerical Software with Result Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Transport Phenomena in Viscoplastic Materials
- Numerical Software with Result Verification
- 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
- Title not available (Why is that?)
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- The mean value form for complex analytic functions.
- Title not available (Why is that?)
- Dense linear system: A parallel self-verified solver
- On Newman polynomials which divide no Littlewood polynomial
- Title not available (Why is that?)
- OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
- Computing enclosures for the inverse square root and the sign function of a matrix
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
- Multiple/arbitrary precision interval computations in C-XSC
- Solvers for the verified solution of parametric linear systems
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
- Verified error bounds for solutions of Sylvester matrix equations
- The exact dot product as basic tool for long interval arithmetic
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Interval Newton iteration in multiple precision for the univariate case
- Interval analysis: Theory and applications
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- New solutions of the Gelfand problem
- Numerical Software with Result Verification
- Computational existence proofs for spherical \(t\)-designs
- Verified spatial subdivision of implicit objects using implicit linear interval estimations
- Multisection in interval branch-and-bound methods for global optimization. II: Numerical tests
- Multisection in interval branch-and-bound methods for global optimization. I: Theoretical results
This page was built for software: C-XSC 2.0
