Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 3 Treffer
- proof assistant 3 Treffer
- double-double arithmetic 2 Treffer
- double-word arithmetic 2 Treffer
- formalization 2 Treffer
-
29 weitere Werte:
- interval analysis 2 Treffer
- arithmetic 1 Treffer
- combinatorics 1 Treffer
- computer arithmetic 1 Treffer
- computer input-output equipment 1 Treffer
- computer software 1 Treffer
- error analysis in mathematics 1 Treffer
- extremal combinatorics 1 Treffer
- floating point 1 Treffer
- formal verification 1 Treffer
- forward error analysis 1 Treffer
- integer programming 1 Treffer
- interval arithmetic 1 Treffer
- logical prediction 1 Treffer
- mathematical proofs 1 Treffer
- matrices (mathematics) 1 Treffer
- open-ended questions 1 Treffer
- operator theory 1 Treffer
- overflow 1 Treffer
- performance 1 Treffer
- polynomial optimization 1 Treffer
- pvs 1 Treffer
- rounding errors 1 Treffer
- roundoff error 1 Treffer
- semidefinite programming 1 Treffer
- square root 1 Treffer
- transcendental functions 1 Treffer
- underflow 1 Treffer
- verification 1 Treffer
Sprache
5 Treffer
-
In: ACM Transactions on Mathematical Software, Jg. 48 (2022), Heft 1, S. 1-24Online academicJournalZugriff:
-
In: ACM Transactions on Mathematical Software, Jg. 49 (2023-03-01), Heft 1, S. 1-34Online academicJournalZugriff:
-
In: ACM Transactions on Mathematical Software, Jg. 37 (2011-03-01), Heft 1, S. 2-21Online academicJournalZugriff:
-
In: ACM Transactions on Mathematical Software, Jg. 48 (2022-06-01), Heft 2, S. 1-12Online academicJournalZugriff:
-
In: ACM Transactions on Mathematical Software, Jg. 43 (2016-12-01), Heft 4, S. 1-31Online academicJournalZugriff: