PASCAL-XSC
From MaRDI portal
Software:30694
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