Hochschulschrift
Iterative solution of linear systems with improved arithmetic and result verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
VII, 127 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Karlsruhe, Univ., Diss., 2000 (Nicht für den Austausch)
- Schlagwort
-
Lineares Gleichungssystem
Schwach besetzte Matrix
Iteration
Gleitkommarechnung
Fehlerschranke
Lineares Gleichungssystem
Schwach besetzte Matrix
Krylov-Verfahren
Präkonditionierung
Objektorientierte Programmierung
Richtigkeit von Ergebnissen
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:45 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
Ä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
iNALU: Improved Neural Arithmetic Logic Unit
Verification of integer multipliers on the arithmetic bit level
Incremental column-wise verification of arithmetic circuits using computer algebra
Uses of Methods with Result Verification in the Context of MIMO Systems
An improved iterative real-time optimization scheme for slow processes
Design and experimental verification of an improved magnetostrictive energy harvester
Arithmetic
Arithmetic
Arithmetic
Iterative solution of linear systems with improved arithmetic and result verification
Interval Analysis and Automatic Result Verification
Highly Automated Formal Verification of Arithmetic Circuits
iNALU: Improved Neural Arithmetic Logic Unit
Verification of integer multipliers on the arithmetic bit level
Incremental column-wise verification of arithmetic circuits using computer algebra
Uses of Methods with Result Verification in the Context of MIMO Systems
An improved iterative real-time optimization scheme for slow processes
Design and experimental verification of an improved magnetostrictive energy harvester
Arithmetic
Arithmetic
Arithmetic
Iterative solution of linear systems with improved arithmetic and result verification
Interval Analysis and Automatic Result Verification
Highly Automated Formal Verification of Arithmetic Circuits
iNALU: Improved Neural Arithmetic Logic Unit
Verification of integer multipliers on the arithmetic bit level
Incremental column-wise verification of arithmetic circuits using computer algebra
Uses of Methods with Result Verification in the Context of MIMO Systems
An improved iterative real-time optimization scheme for slow processes
Design and experimental verification of an improved magnetostrictive energy harvester
Arithmetic
Arithmetic