scientific article; zbMATH DE number 226866
From MaRDI portal
zbMath0814.68035MaRDI QIDQ5286655
Rudi Klatte, Ulrich Kulisch, Michael Rauch, Andreas Wiethoff, Christian Lawo
Publication date: 5 July 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items
Improved validated bounds for Taylor coefficients and for Taylor remainder series, New solutions of the Gelfand problem, Robustness and Randomness, Design of a parallel linear algebra library for verified computation, Inner and outer bounds for the solution set of parametric linear systems, Empirical convergence speed of inclusion functions for facility location problems, Guaranteed analysis and optimisation of parametric systems with application to their stability degree, Variable-precision, interval arithmetic coprocessors, Interval Input and Output, Interval Methods for Global Optimization Using the Boxing Method, High performance verified computing using C-XSC, Computational existence proofs for spherical \(t\)-designs, Multiple/arbitrary precision interval computations in C-XSC, A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain, Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof., The exact dot product as basic tool for long interval arithmetic, Very fast and exact accumulation of products, Extended interval Newton method based on the precise quotient set, Fast interval matrix multiplication, Verified error bounds for solutions of Sylvester matrix equations, A certificate-based approach to formally verified approximations, Computing Enclosures for the Matrix Exponential, Dense linear system: A parallel self-verified solver, SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems, Computing enclosures for the inverse square root and the sign function of a matrix, An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic, Computer-assisted enclosure methods for elliptic differential equations, Computational error bounds for multiple or nearly multiple eigenvalues, New interval methods for constrained global optimization, A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam, Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation, Fast and correctly rounded logarithms in double-precision, Enclosing Chebyshev Expansions in Linear Time, An interval branch and bound method for global robust optimization, The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines, Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures, C-XSC, Parallel methods for verified global optimization practice and theory, A uniqueness result for a semilinear elliptic problem: a computer-assisted proof, Interval analysis: Theory and applications, Empirical investigation of the convergence speed of inclusion functions in a global otimization context, Motivations for an arbitrary precision interval arithmetic and the MPFI library, A new inclusion function for optimization: kite -- the one-dimensional case, Global Attractivity of the Zero Solution for Wright's Equation
Uses Software
