Hochschulschrift
Iterative solution of linear systems with improved arithmetic and result verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Univ., Diss., 2000
- Keyword
-
Lineares Gleichungssystem
Schwach besetzte Matrix
Iteration
Gleitkommarechnung
Fehlerschranke
Lineares Gleichungssystem
Schwach besetzte Matrix
Krylov-Verfahren
Präkonditionierung
Objektorientierte Programmierung
Richtigkeit von Ergebnissen
- URN
-
urn:nbn:de:swb:90-AAA96020003
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Facius, Axel
- KIT-Bibliothek
Time of origin
- 2000
Other Objects (12)
Iterative solution of linear systems with improved arithmetic and result verification
Interval Analysis and Automatic Result Verification
Highly Automated Formal Verification of Arithmetic Circuits
Verification of integer multipliers on the arithmetic bit level
Incremental column-wise verification of arithmetic circuits using computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
GABAC : An arithmetic coding solution for genomic data
A verification-driven framework for iterative design of controllers
Correct approximation of IEEE 754 floating-point arithmetic for program verification
Joint source/channel iterative arithmetic decoding with JPEG 2000 image transmission application
Iterative solution of large sparse systems of equations
Iterative solution method for discreted nonlinear variational problem
Iterative solution of linear systems with improved arithmetic and result verification
Interval Analysis and Automatic Result Verification
Highly Automated Formal Verification of Arithmetic Circuits
Verification of integer multipliers on the arithmetic bit level
Incremental column-wise verification of arithmetic circuits using computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
GABAC : An arithmetic coding solution for genomic data
A verification-driven framework for iterative design of controllers
Correct approximation of IEEE 754 floating-point arithmetic for program verification
Joint source/channel iterative arithmetic decoding with JPEG 2000 image transmission application
Iterative solution of large sparse systems of equations
Iterative solution method for discreted nonlinear variational problem
Iterative solution of linear systems with improved arithmetic and result verification
Interval Analysis and Automatic Result Verification
Highly Automated Formal Verification of Arithmetic Circuits
Verification of integer multipliers on the arithmetic bit level
Incremental column-wise verification of arithmetic circuits using computer algebra
Incremental column-wise verification of arithmetic circuits using computer algebra
GABAC : An arithmetic coding solution for genomic data
A verification-driven framework for iterative design of controllers
Correct approximation of IEEE 754 floating-point arithmetic for program verification
Joint source/channel iterative arithmetic decoding with JPEG 2000 image transmission application
Iterative solution of large sparse systems of equations