PASCAL-XSC

MaRDI QIDQ30694swMATHFDO

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

Cited in

(only showing first 100 items - show all)

• An interval maximum entropy method for a discrete minimax problem
• On Euler-like methods for the simultaneous approximation of polynomial zeros
• A gentle introduction to Numerica
• A note on epsilon-inflation
• ACRITH-XSC
• Interval enclosures for a certain class of multiple integrals
• C-XSC
• C-XSC 2.0
• FORTRAN-XSC
• On some interval methods for algebraic, exponential and trigonometric polynomials
• An improvement of Gargantini's simultaneous inclusion method for polynomial roots by Schröder's correction
• INTLIB
• Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics
• Precise evaluation of a polynomial at a point given in staggered correction format
• Implicit matrix multiplication with maximum accuracy on various transputer networks
• PROFIL/BIAS - A fast interval library
• A test environment using symbolic program trace
• Numerical validation for an inverse matrix eigenvalue problem
• Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method
• PADRE2
• PEGASE
• The effective condition number applied to error analysis of certain boundary collocation methods
• Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution
• On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC
• Newton: Constraint programming over nonlinear constraints
• \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
• Helios
• GENLS
• Interval analysis: Theory and applications
• Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach
• Cubpack++
• Solution of quadratic programming with interval variables using a two-level programming approach
• Parallel methods for verified global optimization practice and theory
• An error controlling Nyström method
• 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
• Simulation of controlled uncertain nonlinear systems
• Experiences with a method for enclosing solutions of systems of equations
• Epsilon-inflation in verification algorithms
• Verified solution of large systems and global optimization problems
• Errors in vector processing and the library libavi.a
• Verification of constrained minima
• Interval analysis as a tool for sensitivity analysis of a hemopoietic model
• On some simultaneous methods based on Weierstrass' correction
• Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
• Template generation for continuous transfer functions using interval analysis
• A continuous location model for siting a non-noxious undesirable facility within a geographical region
• Intsolver
• An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator
• INTPAK
• Interval versions for special kinds of explicit linear multistep methods
• NSDTST
• STDTST
• VNODE
• On interval predictor-corrector methods
• Interval versions of Milne's multistep methods
• Computing interval enclosures for definite integrals by application of triple adaptive strategies
• An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
• Numerical bounds for inverses of linear operators
• New accurate expressions in C-XSC
• scientific article; zbMATH DE number 992832 (Why is no real title available?)
• scientific article; zbMATH DE number 434847 (Why is no real title available?)
• scientific article; zbMATH DE number 434853 (Why is no real title available?)
• CADRE
• Newton
• scientific article; zbMATH DE number 58446 (Why is no real title available?)
• scientific article; zbMATH DE number 107672 (Why is no real title available?)
• scientific article; zbMATH DE number 140034 (Why is no real title available?)
• scientific article; zbMATH DE number 176881 (Why is no real title available?)
• scientific article; zbMATH DE number 404083 (Why is no real title available?)
• Verified construction of fully symmetric cubature formulae of degree 4k‐1 with few nodes for fully symmetric planar regions using invariant theory
• scientific article; zbMATH DE number 488523 (Why is no real title available?)
• scientific article; zbMATH DE number 548835 (Why is no real title available?)
• scientific article; zbMATH DE number 563597 (Why is no real title available?)
• scientific article; zbMATH DE number 584521 (Why is no real title available?)
• scientific article; zbMATH DE number 647467 (Why is no real title available?)
• scientific article; zbMATH DE number 714525 (Why is no real title available?)
• Solving Polynomial Systems Using a Branch and Prune Approach
• ICIAM/GAMM 95 Applied sciences, especially Mechanics Minisymposia Contributions
• Interval Methods for Global Optimization Using the Boxing Method
• Mathematically rigorous global optimization in floating-point arithmetic
• scientific article; zbMATH DE number 761488 (Why is no real title available?)
• 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 806820 (Why is no real title available?)
• scientific article; zbMATH DE number 804127 (Why is no real title available?)
• scientific article; zbMATH DE number 804634 (Why is no real title available?)
• scientific article; zbMATH DE number 804638 (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?)
• scientific article; zbMATH DE number 815447 (Why is no real title available?)
• scientific article; zbMATH DE number 815449 (Why is no real title available?)
• scientific article; zbMATH DE number 852345 (Why is no real title available?)
• scientific article; zbMATH DE number 852349 (Why is no real title available?)
• scientific article; zbMATH DE number 852352 (Why is no real title available?)
• scientific article; zbMATH DE number 869654 (Why is no real title available?)
• scientific article; zbMATH DE number 871165 (Why is no real title available?)
• scientific article; zbMATH DE number 903742 (Why is no real title available?)
• Solving multiobjective linear programming problem using interval arithmetic
• A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations

This page was built for software: PASCAL-XSC