The following pages link to C-XSC (Q12948):
Displaying 50 items.
- A note on the convergence of parametrised non-resonant invariant manifolds (Q2431079) (← links)
- An approach for solving competitive location problems with variable demand using multicore systems (Q2448138) (← links)
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm (Q2460123) (← links)
- New interval methods for constrained global optimization (Q2490338) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems (Q2568646) (← links)
- Optimal centers in branch-and-prune algorithms for univariate global optimization (Q2572338) (← links)
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context (Q2572918) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- A new inclusion function for optimization: kite -- the one-dimensional case (Q2574104) (← links)
- Computable bounds for Taylor coefficients of analytic functions (Q2746171) (← links)
- Interval methods for computing strong Nash equilibria of continuous games (Q2825646) (← links)
- Embedding C-XSC nonlinear solvers in Mathematica (Q2844621) (← links)
- Global attractivity of the zero solution for Wright's equation (Q2876683) (← links)
- Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems (Q2930559) (← links)
- An efficient approach to solve very large dense linear systems with verified computing on clusters (Q2948101) (← links)
- New Accurate Expressions in C-XSC (Q2954895) (← links)
- Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen (Q2954948) (← links)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (Q2974076) (← links)
- (Q3002926) (← links)
- (Q3002932) (← links)
- Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis (Q3008830) (← links)
- (Q3012165) (← links)
- On Newman polynomials which divide no Littlewood polynomial (Q3055097) (← links)
- The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines (Q3081378) (← links)
- Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures (Q3081381) (← links)
- INTLAB implementation of an interval global optimization algorithm (Q3396395) (← links)
- (Q3562935) (← links)
- (Q4291214) (← links)
- (Q4321545) (← links)
- ICIAM/GAMM 95 Applied sciences, especially Mechanics Minisymposia Contributions (Q4358189) (← links)
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library (Q4371727) (← links)
- Interval Input and Output (Q4577103) (← links)
- Interval Methods for Global Optimization Using the Boxing Method (Q4577116) (← links)
- A Branch-and-Prune Method for Global Optimization (Q4577117) (← links)
- Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling (Q4603032) (← links)
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques (Q4683972) (← links)
- (Q4835644) (← links)
- (Q4874526) (← links)
- (Q4885370) (← links)
- (Q4894120) (← links)
- (Q4949377) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Parallel Processing and Applied Mathematics (Q5307366) (← links)
- Numerical Software with Result Verification (Q5308341) (← links)
- Numerical Software with Result Verification (Q5308353) (← links)
- Incerteza de Dados em Fluxo de Potência: uma Abordagem com a Matemática Intervalar do C-XSC (Q5390958) (← links)
- Fast and correctly rounded logarithms in double-precision (Q5444104) (← links)
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit (Q5461047) (← links)
- (Q5488947) (← links)
