Pages that link to "Item:Q5308342"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308342):
Displayed 24 items.
- C-XSC (Q12948) (← links)
- C-XSC 2.0 (Q12949) (← links)
- 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)
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches (Q476597) (← 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)
- 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)
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm (Q2460123) (← links)
- Optimal centers in branch-and-prune algorithms for univariate global optimization (Q2572338) (← links)
- On Newman polynomials which divide no Littlewood polynomial (Q3055097) (← links)
- Global Smooth Solutions for the Inviscid SQG Equation (Q3299494) (← links)
- Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic (Q4643619) (← links)
- Transport Phenomena in Viscoplastic Materials (Q5057013) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Testing interval arithmetic libraries, including their IEEE-1788 compliance (Q6135497) (← links)
- A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps (Q6173797) (← links)