PASCAL-XSC - MaRDI portal

swMATH18863MaRDI QIDQ30694FDOQ30694

Author name not available (Why is that?)

Cited In (95)

Errors in vector processing and the library libavi.a
A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices
Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
A contribution to the feasibility of the interval Gaussian algorithm
Template generation for continuous transfer functions using interval analysis
Epsilon-inflation in verification algorithms
Verified solution of large systems and global optimization problems
A second-order pruning step for verified global optimization
Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors
Aspects for a block version of the interval Cholesky algorithm
Title not available (Why is that?)
Title not available (Why is that?)
On some simultaneous methods based on Weierstrass' correction
On Euler-like methods for the simultaneous approximation of polynomial zeros
Validated bounds for Taylor coefficients of analytic functions
Simulation of controlled uncertain nonlinear systems
Interval analysis: Theory and applications
Solution of quadratic programming with interval variables using a two-level programming approach
A note on epsilon-inflation
Mathematically rigorous global optimization in floating-point arithmetic
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics
Title not available (Why is that?)
Title not available (Why is that?)
Verified integration of linear \(n\)th order ODEs using large steps
An interval maximum entropy method for a discrete minimax problem
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach
On some interval methods for algebraic, exponential and trigonometric polynomials
Computational error bounds for multiple or nearly multiple eigenvalues
Parallel methods for verified global optimization practice and theory
Solving Polynomial Systems Using a Branch and Prune Approach
Title not available (Why is that?)
Bivariate product cubature using peano kernels for local error estimates
The effective condition number applied to error analysis of certain boundary collocation methods
Verified computed Peano constants and applications in numerical quadrature
Precise evaluation of a polynomial at a point given in staggered correction format
Title not available (Why is that?)
Scientific computing with automatic result verification
A continuous location model for siting a non-noxious undesirable facility within a geographical region
Interval enclosures for a certain class of multiple integrals
A test environment using symbolic program trace
Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method
Implicit matrix multiplication with maximum accuracy on various transputer networks
Numerical validation for an inverse matrix eigenvalue problem
An error controlling Nyström method
Title not available (Why is that?)
Acceleration of iteration methods for interval fixed point problems
PROFIL/BIAS - A fast interval library
\textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
A gentle introduction to Numerica
A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations
Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution
On interval predictor-corrector methods
An improvement of Gargantini's simultaneous inclusion method for polynomial roots by Schröder's correction
On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC
Newton: Constraint programming over nonlinear constraints
Computing interval enclosures for definite integrals by application of triple adaptive strategies
Interval Methods for Global Optimization Using the Boxing Method
Interval versions for special kinds of explicit linear multistep methods
An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
Verified construction of fully symmetric cubature formulae of degree 4k‐1 with few nodes for fully symmetric planar regions using invariant theory
Title not available (Why is that?)
Title not available (Why is that?)
An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator
Title not available (Why is that?)
Solving multiobjective linear programming problem using interval arithmetic
New accurate expressions in C-XSC
Title not available (Why is that?)
Title not available (Why is that?)
Mathematics and speed for interval arithmetic: a complement to IEEE 1788
Title not available (Why is that?)
Experiences with a method for enclosing solutions of systems of equations
Numerical bounds for inverses of linear operators
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Verification of constrained minima
Title not available (Why is that?)
Interval analysis as a tool for sensitivity analysis of a hemopoietic model
Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
ICIAM/GAMM 95 Applied sciences, especially Mechanics Minisymposia Contributions
Interval versions of Milne's multistep methods
Title not available (Why is that?)

This page was built for software: PASCAL-XSC