Sortiert nach
Physical review. E, 2019-01, Vol.99 (1-1), p.013305-013305, Article 013305
2019
Link zum Volltext
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 2023, p.36-43
2023
Link zum Volltext
NASA Formal Methods, 2021, Vol.12673, p.322-339
2021
Link zum Volltext
Intelligent Computer Mathematics, p.206-221
Link zum Volltext
NASA Formal Methods, p.37-56
Link zum Volltext
2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), 2022, p.10-17
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Computer Science, Theory & Methods
- Technology
- Computer Science, Software Engineering
- Error Analysis
- Formal Verification
- Jacobi Method
- Physical Sciences
- Aerospace Engineering
- Behavioral Sciences
- Computer Science, Interdisciplinary Applications
- Convergence
- Costs
- Engineering
- Finite Difference Scheme
- Floating-Point Arithmetic
- Gauss–seidel Method
- Iterative Convergence
- Iterative Convergence Error
Kollektion
Zeitschrift / Serie
Neu hinzugefügt