The following pages link to C-XSC 2.0 (Q12949):
Displaying 50 items.
- The transmission process: a combinatorial stochastic process for the evolution of transmission trees over networks (Q332431) (← 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)
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches (Q476597) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- How trivial are reliable box-plane intersections? (Q628002) (← links)
- The exact dot product as basic tool for long interval arithmetic (Q644846) (← links)
- Very fast and exact accumulation of products (Q644853) (← 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)
- A computer-assisted proof for photonic band gaps (Q845736) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← 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)
- Dense linear system: A parallel self-verified solver (Q941827) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Global optimization using interval arithmetic (Q1318309) (← links)
- PROFIL/BIAS - A fast interval library (Q1340873) (← links)
- Interval arithmetic for input-output models with inexact data (Q1360068) (← links)
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree (Q1365650) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- Interval Newton iteration in multiple precision for the univariate case (Q1418860) (← links)
- Multisection in interval branch-and-bound methods for global optimization. II: Numerical tests (Q1580430) (← links)
- Multisection in interval branch-and-bound methods for global optimization. I: Theoretical results (Q1583690) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- New solutions of the Gelfand problem (Q1614680) (← links)
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation (Q1774292) (← 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)
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization (Q1904721) (← 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)
- Improved interval methods for solving circle packing problems in the unit square (Q2052392) (← links)
- Global dynamic optimization using edge-concave underestimator (Q2182856) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Accurate computation of traffic workload distributions (Q2387755) (← links)
- A note on the convergence of parametrised non-resonant invariant manifolds (Q2431079) (← 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)
- A verified optimization technique to locate chaotic regions of Hénon systems (Q2505553) (← links)
