PASCAL-XSC

swMATH18863MaRDI QIDQ30694FDOQ30694

Author name not available (Why is that?)

Official website: http://www.xsc.de/

Cited In (only showing first 100 items - show all)

• 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
• 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
• Interval analysis: Theory and applications
• 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?)
• FORTRAN-XSC
• Helios
• Cubpack++
• Intsolver
• INTPAK
• NSDTST
• Bivariate product cubature using peano kernels for local error estimates
• STDTST
• VNODE
• The effective condition number applied to error analysis of certain boundary collocation methods
• CADRE
• Newton
• libavi.a
• 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
• 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?)
• 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
• 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
• Simulation of controlled uncertain nonlinear systems
• Solution of quadratic programming with interval variables using a two-level programming approach
• 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?)

This page was built for software: PASCAL-XSC