C-XSC
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Enclosing all zeros of an analytic function - a rigorous approach
- A robust and efficient algorithm for planar competitive location problems
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- A note on epsilon-inflation
- ACRITH-XSC
- C-XSC 2.0
- FORTRAN-XSC
- Fast and parallel interval arithmetic
- INTLIB
- intpakX
- A fast dot-product algorithm with minimal rounding errors
- MPFI
- PROFIL/BIAS
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree
- VPI
- Heuristic rejection in interval global optimization
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- UEGO
- AMIGO
- Interval analysis: Theory and applications
- New solutions of the Gelfand problem
- INTLAB
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- CTDSX
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- INTOPT_90
- FADBAD++
- gaol
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- Precise numerical computation
- PNM
- Parallel methods for verified global optimization practice and theory
- logcf
- filib++
- FastPILSS
- ParLinSys
- MathLink
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- A software interface and hardware design for variable-precision interval arithmetic
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- Variable-precision, interval arithmetic coprocessors
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- Cosy
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- Algorithm 524
- An interval branch and bound method for global robust optimization
- INTPAK
- DSI Toolbox
- PLASMA
- Computing enclosures for the inverse square root and the sign function of a matrix
- MOBILE
- SmartMobile
- VERSOFT
- SONIC
- Computing the noncentral-F distribution and the power of the F-test with guaranteed accuracy
- Estimating parameters for generalized mass action models using constraint propagation
- IBEX
- Eigensolve
- A note on the convergence of parametrised non-resonant invariant manifolds
- ncg
- An approach for solving competitive location problems with variable demand using multicore systems
- PRECISE
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Algorithm 876
- New interval methods for constrained global optimization
- MPFUN
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Boost Interval Arithmetic
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
- Optimal centers in branch-and-prune algorithms for univariate global optimization
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- A new inclusion function for optimization: kite -- the one-dimensional case
- AS 226
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Coin3D
- Computable bounds for Taylor coefficients of analytic functions
- CTLEX
- Interval methods for computing strong Nash equilibria of continuous games
- Embedding C-XSC nonlinear solvers in Mathematica
- Global attractivity of the zero solution for Wright's equation
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- New accurate expressions in C-XSC
- Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- scientific article; zbMATH DE number 5899421 (Why is no real title available?)
- A solver for complex-valued parametric linear systems
- Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
- scientific article; zbMATH DE number 5917352 (Why is no real title available?)
- On Newman polynomials which divide no Littlewood polynomial
- PASCAL-XSC
- 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
- PBLAS
- INTLAB implementation of an interval global optimization algorithm
- Interval arithmetic based optimization in nonlinear regression
- CADAC
- High performance verified computing using C-XSC
- High accuracy and interval arithmetic on multicore processors
This page was built for software: C-XSC
