Hochschulschrift
Iterative solution of linear systems with improved arithmetic and result verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Univ., Diss., 2000
- Schlagwort
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Facius, Axel
- KIT-Bibliothek
Entstanden
- 2000
Ähnliche Objekte (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