scientific article

From MaRDI portal
Publication:3999735

zbMath0757.68023MaRDI QIDQ3999735

Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian P. Ullrich

Publication date: 17 September 1992


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (30)

Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errorsAspects for a block version of the interval Cholesky algorithmPrecise evaluation of a polynomial at a point given in staggered correction formatImplicit matrix multiplication with maximum accuracy on various transputer networksA test environment using symbolic program traceSimulation of controlled uncertain nonlinear systemsA circuit for exact summation of floating-point numbersLower bounds for the \(R\)-order of convergence of simultaneous inclusion methods for polynomial roots and related iteration methodsExperiences with a method for enclosing solutions of systems of equationsEpsilon-inflation in verification algorithmsVerified solution of large systems and global optimization problemsOn computer-assisted proofs for solutions of linear complementarity problemsComparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solutionVariable-precision, interval arithmetic coprocessorsVerification of constrained minimaVerified Determination of Singularities in Chemical ProcessesInterval analysis as a tool for sensitivity analysis of a hemopoietic modelOn some simultaneous methods based on Weierstrass' correctionMultiple/arbitrary precision interval computations in C-XSCTemplate generation for continuous transfer functions using interval analysisUncertainty in GPS networks due to remaining systematic errors: the interval approachA necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matricesAcceleration of iteration methods for interval fixed point problemsComputational error bounds for multiple or nearly multiple eigenvaluesMathematically rigorous global optimization in floating-point arithmeticPASCAL-XSCInterval enclosures for a certain class of multiple integralsInterval analysis: Theory and applicationsAn improvement of Gargantini's simultaneous inclusion method for polynomial roots by Schröder's correctionSelf-validating integration and approximation of piecewise analytic functions




This page was built for publication: