scientific article; zbMATH DE number 226866
From MaRDI portal
Publication:5286655
zbMATH Open0814.68035MaRDI QIDQ5286655FDOQ5286655
Authors: Rudi Klatte, Ulrich Kulisch, Andreas Wiethoff, Christian Lawo, Michael Rauch 
Publication date: 5 July 1993
Title of this publication is not available (Why is that?)
Recommendations
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)
Cited In (48)
- Interval Methods for Global Optimization Using the Boxing Method
- Dense linear system: A parallel self-verified solver
- Computing enclosures for the inverse square root and the sign function of a matrix
- Multiple/arbitrary precision interval computations in C-XSC
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- Verified error bounds for solutions of Sylvester matrix equations
- The exact dot product as basic tool for long interval arithmetic
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Interval input and output
- Title not available (Why is that?)
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Computing enclosures for the matrix exponential
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A certificate-based approach to formally verified approximations
- Interval analysis: Theory and applications
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- New solutions of the Gelfand problem
- Design of a parallel linear algebra library for verified computation
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- Variable-precision, interval arithmetic coprocessors
- Computational existence proofs for spherical \(t\)-designs
- Fast interval matrix multiplication
- Computational error bounds for multiple or nearly multiple eigenvalues
- Empirical convergence speed of inclusion functions for facility location problems
- Parallel methods for verified global optimization practice and theory
- A new inclusion function for optimization: kite -- the one-dimensional case
- Title not available (Why is that?)
- Title not available (Why is that?)
- C-XSC
- Inner and outer bounds for the solution set of parametric linear systems
- Numerical Software with Result Verification
- An interval branch and bound method for global robust optimization
- Fast and correctly rounded logarithms in double-precision
- Enclosing Chebyshev expansions in linear time
- Computer-assisted enclosure methods for elliptic differential equations
- Extended interval Newton method based on the precise quotient set
- Very fast and exact accumulation of products
- Robustness and Randomness
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- 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
- High performance verified computing using C-XSC
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Global attractivity of the zero solution for Wright's equation
- New interval methods for constrained global optimization
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286655)
