swMATH181MaRDI QIDQ12948FDOQ12948
Author name not available (Why is that?)
Official website: http://www2.math.uni-wuppertal.de/~xsc/xsc/cxsc_software.html
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Interval Methods for Global Optimization Using the Boxing Method
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- Title not available (Why is that?)
- Title not available (Why is that?)
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- Numerical Software with Result Verification
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- Title not available (Why is that?)
- Computing enclosures for the matrix exponential
- Interval analysis techniques for boundary value problems of elasticity in two dimensions
- 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
- A branch-and-prune method for global optimization
- Computable bounds for Taylor coefficients of analytic functions
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- Variable-precision, interval arithmetic coprocessors
- Fast interval matrix multiplication
- How do you compute the midpoint of an interval?
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Empirical convergence speed of inclusion functions for facility location problems
- Parallel methods for verified global optimization practice and theory
- An approach for solving competitive location problems with variable demand using multicore systems
- A new inclusion function for optimization: kite -- the one-dimensional case
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- Title not available (Why is that?)
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- Solving discrete minimax problems using interval arithmetic
- An interval branch and bound method for global robust optimization
- Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- A fast dot-product algorithm with minimal rounding errors
- On a computer-aided approach to the computation of Abelian integrals
- Title not available (Why is that?)
- Fast and correctly rounded logarithms in double-precision
- Computer-assisted enclosure methods for elliptic differential equations
- Interval methods for computing strong Nash equilibria of continuous games
- Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen
- Extended interval Newton method based on the precise quotient set
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- Computing the noncentral-\(F\) distribution and the power of the \(F\)-test with guaranteed accuracy
- Locating and counting equilibria of the Kuramoto model with rank-one coupling
- Dense linear system: A parallel self-verified solver
- INTLAB implementation of an interval global optimization algorithm
- On Newman polynomials which divide no Littlewood polynomial
- Precise numerical computation
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Computing enclosures for the inverse square root and the sign function of a matrix
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Multiple/arbitrary precision interval computations in C-XSC
- Solvers for the verified solution of parametric linear systems
- Verified error bounds for solutions of Sylvester matrix equations
- A solver for complex-valued parametric linear systems
- Title not available (Why is that?)
- Rigorous and portable standard functions
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Estimating parameters for generalized mass action models using constraint propagation
- 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.
- Interval analysis: Theory and applications
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- A note on epsilon-inflation
- New solutions of the Gelfand problem
- Heuristic rejection in interval global optimization
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
- Computational existence proofs for spherical \(t\)-designs
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
- Title not available (Why is that?)
- A software interface and hardware design for variable-precision interval arithmetic
- Solving a huff-like competitive location and design model for profit maximization in the plane
- Computational error bounds for multiple or nearly multiple eigenvalues
- ACRITH-XSC
- C-XSC 2.0
- FORTRAN-XSC
- INTLIB
- intpakX
- MPFI
- PROFIL/BIAS
- VPI
- AMIGO
- Fast and parallel interval arithmetic
- UEGO
- INTLAB
- CTDSX
- INTOPT_90
- FADBAD++
- gaol
- PNM
- logcf
- filib++
This page was built for software: C-XSC
