The following pages link to (Q4277813):
Displayed 38 items.
- Zones and integrals (Q557759) (← links)
- Bivariate product cubature using peano kernels for local error estimates (Q618375) (← links)
- Extended interval Newton method based on the precise quotient set (Q644874) (← links)
- On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature (Q695294) (← links)
- A second-order pruning step for verified global optimization (Q839324) (← links)
- Interval methods for verifying structural optimality of circle packing configurations in the unit square (Q861900) (← links)
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms (Q995933) (← links)
- Verified computed Peano constants and applications in numerical quadrature (Q996816) (← links)
- Improved lower bounds for semi-online bin packing problems (Q1014344) (← links)
- An efficient algorithm for range computation of polynomials using the Bernstein form (Q1037369) (← links)
- An interval maximum entropy method for a discrete minimax problem (Q1126620) (← links)
- A gentle introduction to Numerica (Q1274762) (← links)
- Interval enclosures for a certain class of multiple integrals (Q1294367) (← links)
- Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method (Q1340882) (← links)
- A sufficient condition for non-overestimation in interval arithmetic (Q1377272) (← links)
- Parallelized implicit propagators for the finite-difference Schrödinger equation (Q1378199) (← links)
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} (Q1391927) (← links)
- On first zero crossing points. (Q1427655) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Interval mathematics, algebraic equations and optimization (Q1593830) (← links)
- Reliable computation of eigenvalues of the magnetostatic integral operator (Q1596749) (← links)
- A realistic (non-associative) logic and a possible explanations of \(7\pm 2\) law (Q1603303) (← links)
- On bounding zeros of analytic functions (Q1855795) (← links)
- Creating and handling box valued functions used in numerical methods (Q1860414) (← links)
- Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors (Q1872940) (← links)
- A combined method for enclosing all solutions of nonlinear systems of polynomial equations (Q1899456) (← links)
- On the selection of subdivision directions in interval branch-and-bound methods for global optimization (Q1904648) (← links)
- Errors in vector processing and the library libavi.a (Q1916980) (← links)
- Ordering events: Intervals are sufficient, more general sets are usually not necessary (Q1921301) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- Use of an interval global optimization tool for exploring feasibility of batch extractive distillation (Q2460135) (← links)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs (Q2483052) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- Functional programming framework for \textit{GRworkbench} (Q2572516) (← links)
- Representation of analysis results involving aleatory and epistemic uncertainty (Q3162840) (← links)
- Verified construction of fully symmetric cubature formulae of degree 4k‐1 with few nodes for fully symmetric planar regions using invariant theory (Q4228324) (← links)
- Verifying the existence of a zero for all elements of a function set (Q4508651) (← links)
- Efficient strategy for adaptive partition of N-dimensional intervals in the framework of diagonal algorithms (Q5925738) (← links)