The following pages link to C-XSC (Q12948):
Displayed 50 items.
- The parameterization method for invariant manifolds. From rigorous results to effective computations (Q266342) (← links)
- High performance verified computing using C-XSC (Q382427) (← links)
- High accuracy and interval arithmetic on multicore processors (Q382438) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (Q411433) (← links)
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Interval methods for real-time capable robust control of solid oxide fuel cell systems (Q475452) (← links)
- Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation (Q475453) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods (Q632389) (← links)
- On a computer-aided approach to the computation of Abelian integrals (Q639965) (← links)
- Extended interval Newton method based on the precise quotient set (Q644874) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation (Q688111) (← links)
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems (Q811943) (← links)
- Inner and outer bounds for the solution set of parametric linear systems (Q861892) (← links)
- Empirical convergence speed of inclusion functions for facility location problems (Q861908) (← links)
- Interval analysis techniques for boundary value problems of elasticity in two dimensions (Q863926) (← links)
- Solving a huff-like competitive location and design model for profit maximization in the plane (Q864047) (← links)
- Dense linear system: A parallel self-verified solver (Q941827) (← links)
- Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models (Q960385) (← links)
- Enclosing all zeros of an analytic function - a rigorous approach (Q1019813) (← links)
- A robust and efficient algorithm for planar competitive location problems (Q1026588) (← links)
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems (Q1027999) (← links)
- A note on epsilon-inflation (Q1276130) (← links)
- Fast and parallel interval arithmetic (Q1307245) (← links)
- A fast dot-product algorithm with minimal rounding errors (Q1332688) (← links)
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree (Q1365650) (← links)
- Heuristic rejection in interval global optimization (Q1407232) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule (Q1652088) (← links)
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (Q1683424) (← links)
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation (Q1774292) (← links)
- Precise numerical computation (Q1779570) (← links)
- Parallel methods for verified global optimization practice and theory (Q1817314) (← links)
- Improved validated bounds for Taylor coefficients and for Taylor remainder series (Q1872963) (← links)
- A software interface and hardware design for variable-precision interval arithmetic (Q1904320) (← links)
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization (Q1904721) (← links)
- Variable-precision, interval arithmetic coprocessors (Q1916973) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations (Q1987430) (← links)
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic (Q1998458) (← links)
- An interval branch and bound method for global robust optimization (Q2046260) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Computing the noncentral-\(F\) distribution and the power of the \(F\)-test with guaranteed accuracy (Q2358947) (← links)
- Estimating parameters for generalized mass action models using constraint propagation (Q2382409) (← links)