C-XSC
From MaRDI portal
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)
- 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
- Fast interval matrix multiplication
- Title not available (Why is that?)
- How do you compute the midpoint of an interval?
- 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
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
- Computational error bounds for multiple or nearly multiple eigenvalues
- FORTRAN-XSC
- Fast and parallel interval arithmetic
- INTLAB
- CTDSX
- INTOPT_90
- FADBAD++
- gaol
- PNM
- logcf
- filib++
- FastPILSS
- MathLink
- ParLinSys
- Cosy
- Algorithm 524
- INTPAK
- DSI Toolbox
- PLASMA
- MOBILE
- SmartMobile
- SONIC
- VERSOFT
- Eigensolve
- IBEX
- ncg
- PRECISE
- Algorithm 876
- Boost Interval Arithmetic
- MPFUN
- AS 226
- Coin3D
- CTLEX
- Inner and outer bounds for the solution set of parametric linear systems
- PASCAL-XSC
- PBLAS
- CADAC
- EigenKernel
- EigenExa
- RODES
- FI_LIB
- ELSES
- k-ep
- V-Clip
- Title not available (Why is that?)
- Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models
- Interval methods for computing strong Nash equilibria of continuous games
- A robust and efficient algorithm for planar competitive location problems
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Interval methods for real-time capable robust control of solid oxide fuel cell systems
- Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
- Enclosing all zeros of an analytic function - a rigorous approach
- High performance verified computing using C-XSC
- High accuracy and interval arithmetic on multicore processors
- Global attractivity of the zero solution for Wright's equation
- A note on the convergence of parametrised non-resonant invariant manifolds
- New interval methods for constrained global optimization
- Interval arithmetic based optimization in nonlinear regression
- 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
- Incerteza de Dados em Fluxo de Potência: uma Abordagem com a Matemática Intervalar do C-XSC
- HIBA_USNE
- Title not available (Why is that?)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- Optimal centers in branch-and-prune algorithms for univariate global optimization
This page was built for software: C-XSC
