Cited in
(only showing first 100 items - show all)- Interval arithmetic based optimization in nonlinear regression
- Dense linear system: A parallel self-verified solver
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- scientific article; zbMATH DE number 1206058 (Why is no real title available?)
- Interval Methods for Global Optimization Using the Boxing Method
- scientific article; zbMATH DE number 869750 (Why is no real title available?)
- scientific article; zbMATH DE number 1694748 (Why is no real title available?)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- Interval arithmetic for input-output models with inexact data
- On Newman polynomials which divide no Littlewood polynomial
- OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
- Optimal centers in branch-and-prune algorithms for univariate global optimization
- scientific article; zbMATH DE number 804854 (Why is no real title available?)
- 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
- 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
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
- 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
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- An enclosure method for the solution of linear odes with polynomial coefficients
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- New accurate expressions in C-XSC
- Interval input and output
- 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.
- Advanced Arithmetic for the Digital Computer
- scientific article; zbMATH DE number 878933 (Why is no real title available?)
- scientific article; zbMATH DE number 5899421 (Why is no real title available?)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Mathematics and speed for interval arithmetic: a complement to IEEE 1788
- Interval Newton iteration in multiple precision for the univariate case
- Computing enclosures for the matrix exponential
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Numerical Software with Result Verification
- Interval analysis: Theory and applications
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- New solutions of the Gelfand problem
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- A certificate-based approach to formally verified approximations
- Computable bounds for Taylor coefficients of analytic functions
- scientific article; zbMATH DE number 1542842 (Why is no real title available?)
- Parallel Processing and Applied Mathematics
- Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- Computational existence proofs for spherical \(t\)-designs
- scientific article; zbMATH DE number 1950444 (Why is no real title available?)
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- 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
- Fast interval matrix multiplication
- Numerical Software with Result Verification
- Verified spatial subdivision of implicit objects using implicit linear interval estimations
- Computer-assisted proofs in PDE: a survey
- scientific article; zbMATH DE number 1206081 (Why is no real title available?)
- scientific article; zbMATH DE number 2231123 (Why is no real title available?)
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Automatic forward error analysis for floating point algorithms
- Verifying the existence of a zero for all elements of a function set
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- LpSpectral Radius Estimates for the Lamé System on an Infinite Sector
- Empirical convergence speed of inclusion functions for facility location problems
- 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
- filib++
- FastPILSS
- ParLinSys
- Algorithm 693
- Algorithm 524
- Test Set for IVP Solvers
- INTPAK
- DSI Toolbox
- PLASMA
- MOBILE
- SmartMobile
- SONIC
- VERSOFT
This page was built for software: C-XSC 2.0
