PASCAL-XSC

MaRDI QIDQ30694swMATHFDO

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

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