Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 176881 (Why is no real title available?)
- Acceleration of iteration methods for interval fixed point problems
- Interval versions of Milne's multistep methods
- PROFIL/BIAS - A fast interval library
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
- scientific article; zbMATH DE number 992832 (Why is no real title available?)
- 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
- Errors in vector processing and the library libavi.a
- 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
- Interval Methods for Global Optimization Using the Boxing Method
- Verified construction of fully symmetric cubature formulae of degree 4k‐1 with few nodes for fully symmetric planar regions using invariant theory
- 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
- scientific article; zbMATH DE number 434853 (Why is no real title available?)
- A contribution to the feasibility of the interval Gaussian algorithm
- scientific article; zbMATH DE number 584521 (Why is no real title available?)
- scientific article; zbMATH DE number 804657 (Why is no real title available?)
- scientific article; zbMATH DE number 804854 (Why is no real title available?)
- Template generation for continuous transfer functions using interval analysis
- scientific article; zbMATH DE number 852345 (Why is no real title available?)
- scientific article; zbMATH DE number 714525 (Why is no real title available?)
- A second-order pruning step for verified global optimization
- Epsilon-inflation in verification algorithms
- Verified solution of large systems and global optimization problems
- 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
- scientific article; zbMATH DE number 871165 (Why is no real title available?)
- An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator
- On some simultaneous methods based on Weierstrass' correction
- scientific article; zbMATH DE number 806820 (Why is no real title available?)
- scientific article; zbMATH DE number 761488 (Why is no real title available?)
- Solving multiobjective linear programming problem using interval arithmetic
- New accurate expressions in C-XSC
- scientific article; zbMATH DE number 58446 (Why is no real title available?)
- scientific article; zbMATH DE number 815447 (Why is no real title available?)
- On Euler-like methods for the simultaneous approximation of polynomial zeros
- Mathematics and speed for interval arithmetic: a complement to IEEE 1788
- Simulation of controlled uncertain nonlinear systems
- Validated bounds for Taylor coefficients of analytic functions
- Interval analysis: Theory and applications
- Solution of quadratic programming with interval variables using a two-level programming approach
- A note on epsilon-inflation
- scientific article; zbMATH DE number 140034 (Why is no real title available?)
- Experiences with a method for enclosing solutions of systems of equations
- Mathematically rigorous global optimization in floating-point arithmetic
- Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics
- Numerical bounds for inverses of linear operators
- scientific article; zbMATH DE number 434847 (Why is no real title available?)
- Verified integration of linear \(n\)th order ODEs using large steps
- scientific article; zbMATH DE number 488523 (Why is no real title available?)
- An interval maximum entropy method for a discrete minimax problem
- 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
- scientific article; zbMATH DE number 404083 (Why is no real title available?)
- scientific article; zbMATH DE number 804634 (Why is no real title available?)
- scientific article; zbMATH DE number 852349 (Why is no real title available?)
- scientific article; zbMATH DE number 869654 (Why is no real title available?)
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- FORTRAN-XSC
- INTLIB
- PADRE2
- PEGASE
- Helios
- GENLS
- Cubpack++
- Intsolver
- INTPAK
- NSDTST
- STDTST
- VNODE
- CADRE
- Newton
- libavi.a
- Verification of constrained minima
- Computational error bounds for multiple or nearly multiple eigenvalues
- Parallel methods for verified global optimization practice and theory
- scientific article; zbMATH DE number 802429 (Why is no real title available?)
- scientific article; zbMATH DE number 802439 (Why is no real title available?)
- scientific article; zbMATH DE number 804127 (Why is no real title available?)
- scientific article; zbMATH DE number 804638 (Why is no real title available?)
- Solving Polynomial Systems Using a Branch and Prune Approach
- scientific article; zbMATH DE number 107672 (Why is no real title available?)
- Bivariate product cubature using peano kernels for local error estimates
- 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
- scientific article; zbMATH DE number 815449 (Why is no real title available?)
- The effective condition number applied to error analysis of certain boundary collocation methods
- scientific article; zbMATH DE number 852352 (Why is no real title available?)
- Verified computed Peano constants and applications in numerical quadrature
- Precise evaluation of a polynomial at a point given in staggered correction format
This page was built for software: PASCAL-XSC
