Cited in
(only showing first 100 items - show all)- Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Extended interval Newton method based on the precise quotient set
- Very fast and exact accumulation of products
- A new parallel method for verified global optimization
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- scientific article; zbMATH DE number 5899421 (Why is no real title available?)
- How trivial are reliable box-plane intersections?
- scientific article; zbMATH DE number 1206058 (Why is no real title available?)
- scientific article; zbMATH DE number 869750 (Why is no real title available?)
- Interval Methods for Global Optimization Using the Boxing Method
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Advanced Arithmetic for the Digital Computer
- Global smooth solutions for the inviscid SQG equation
- Global dynamic optimization using edge-concave underestimator
- Enclosing solutions of an inverse Sturm-Liouville problem for an impedance
- A certificate-based approach to formally verified approximations
- Empirical convergence speed of inclusion functions for facility location problems
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- Global optimization using interval arithmetic
- Solving discrete minimax problems using interval arithmetic
- Computing enclosures for the matrix exponential
- A new inclusion function for optimization: kite -- the one-dimensional case
- scientific article; zbMATH DE number 1950444 (Why is no real title available?)
- Polynomial Factorization for Servers with Semi-Markovian Workload: Performance and Numerical Aspects of a Verified Solution Technique
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- scientific article; zbMATH DE number 878933 (Why is no real title available?)
- Interval arithmetic for input-output models with inexact data
- scientific article; zbMATH DE number 5917352 (Why is no real title available?)
- Improved interval methods for solving circle packing problems in the unit square
- Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
- Numerical Software with Result Verification
- Parallel Processing and Applied Mathematics
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- LpSpectral Radius Estimates for the Lamé System on an Infinite Sector
- Fast and correctly rounded logarithms in double-precision
- Computer-assisted proofs in PDE: a survey
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- The basic properties of interval arithmetic, its software realizations and some applications
- Parallel methods for verified global optimization practice and theory
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- scientific article; zbMATH DE number 1482984 (Why is no real title available?)
- scientific article; zbMATH DE number 869749 (Why is no real title available?)
- An enclosure method for the solution of linear odes with polynomial coefficients
- Fast interval matrix multiplication
- scientific article; zbMATH DE number 714519 (Why is no real title available?)
- scientific article; zbMATH DE number 869741 (Why is no real title available?)
- Accurate computation of traffic workload distributions
- Computer-assisted enclosure methods for elliptic differential equations
- scientific article; zbMATH DE number 1694748 (Why is no real title available?)
- An interval branch and bound method for global robust optimization
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- scientific article; zbMATH DE number 1206081 (Why is no real title available?)
- Computable bounds for Taylor coefficients of analytic functions
- The exact dot product as basic tool for long interval arithmetic
- A verified optimization technique to locate chaotic regions of Hénon systems
- New solutions of the Gelfand problem
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- On Taylor Model Based Integration of ODEs
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- New interval methods for constrained global optimization
- Computational existence proofs for spherical \(t\)-designs
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Interval analysis: Theory and applications
- 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
- Computing enclosures for the inverse square root and the sign function of a matrix
- Verified spatial subdivision of implicit objects using implicit linear interval estimations
- Dense linear system: A parallel self-verified solver
- Multisection in interval branch-and-bound methods for global optimization. II: Numerical tests
- High performance verified computing using C-XSC
- High accuracy and interval arithmetic on multicore processors
- A computer-assisted proof for photonic band gaps
- Verification methods: rigorous results using floating-point arithmetic
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
- ACETAF
- ACRITH-XSC
- CoStLy
- C-XSC
- FORTRAN-SC
- FORTRAN-XSC
- INTBIS
- INTLIB
- intpakX
- MPFI
- PROFIL/BIAS
- VPI
- AMIGO
- INTLAB
- CTDSX
- INTOPT_90
- MPSolve
- gaol
- PNM
- SLEEF
This page was built for software: C-XSC 2.0
