The following pages link to PASCAL-XSC (Q30694):
Displaying 50 items.
- A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations (Q508518) (← links)
- Bivariate product cubature using peano kernels for local error estimates (Q618375) (← links)
- Scientific computing with automatic result verification (Q684249) (← links)
- A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices (Q686058) (← links)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation (Q688111) (← links)
- A contribution to the feasibility of the interval Gaussian algorithm (Q811945) (← links)
- A second-order pruning step for verified global optimization (Q839324) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Verified computed Peano constants and applications in numerical quadrature (Q996816) (← links)
- An interval maximum entropy method for a discrete minimax problem (Q1126620) (← links)
- On Euler-like methods for the simultaneous approximation of polynomial zeros (Q1128293) (← links)
- A gentle introduction to Numerica (Q1274762) (← links)
- A note on epsilon-inflation (Q1276130) (← links)
- Interval enclosures for a certain class of multiple integrals (Q1294367) (← links)
- On some interval methods for algebraic, exponential and trigonometric polynomials (Q1313251) (← links)
- An improvement of Gargantini's simultaneous inclusion method for polynomial roots by Schröder's correction (Q1319612) (← links)
- Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics (Q1332339) (← links)
- Precise evaluation of a polynomial at a point given in staggered correction format (Q1334785) (← links)
- Implicit matrix multiplication with maximum accuracy on various transputer networks (Q1340871) (← links)
- PROFIL/BIAS - A fast interval library (Q1340873) (← links)
- A test environment using symbolic program trace (Q1340875) (← links)
- Numerical validation for an inverse matrix eigenvalue problem (Q1340878) (← links)
- Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method (Q1340882) (← links)
- The effective condition number applied to error analysis of certain boundary collocation methods (Q1347166) (← links)
- Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution (Q1365540) (← links)
- On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC (Q1375604) (← links)
- Newton: Constraint programming over nonlinear constraints (Q1380122) (← links)
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} (Q1391927) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach (Q1652420) (← links)
- Solution of quadratic programming with interval variables using a two-level programming approach (Q1756211) (← links)
- Parallel methods for verified global optimization practice and theory (Q1817314) (← links)
- An error controlling Nyström method (Q1817503) (← links)
- Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors (Q1872940) (← links)
- Aspects for a block version of the interval Cholesky algorithm (Q1872971) (← links)
- Simulation of controlled uncertain nonlinear systems (Q1893061) (← links)
- Experiences with a method for enclosing solutions of systems of equations (Q1900752) (← links)
- Epsilon-inflation in verification algorithms (Q1900758) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- Errors in vector processing and the library libavi.a (Q1916980) (← links)
- Verification of constrained minima (Q1919423) (← links)
- Interval analysis as a tool for sensitivity analysis of a hemopoietic model (Q1923369) (← links)
- On some simultaneous methods based on Weierstrass' correction (Q1923458) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- Template generation for continuous transfer functions using interval analysis (Q1961201) (← links)
- A continuous location model for siting a non-noxious undesirable facility within a geographical region (Q1969855) (← links)
- An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator (Q2114513) (← links)
- Interval versions for special kinds of explicit linear multistep methods (Q2211256) (← links)
- On interval predictor-corrector methods (Q2407871) (← links)
- Interval versions of Milne's multistep methods (Q2413491) (← links)
