Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- floating-point arithmetic 16 Treffer
- coq 13 Treffer
- proof assistant 13 Treffer
- formalization 9 Treffer
- interval analysis 8 Treffer
-
45 weitere Werte:
- double-double arithmetic 7 Treffer
- double-word arithmetic 6 Treffer
- formal verification 5 Treffer
- verification 5 Treffer
- combinatorics 4 Treffer
- computer arithmetic 4 Treffer
- computer input-output equipment 4 Treffer
- computer software 4 Treffer
- error analysis in mathematics 4 Treffer
- extremal combinatorics 4 Treffer
- floating point 4 Treffer
- integer programming 4 Treffer
- interval arithmetic 4 Treffer
- logical prediction 4 Treffer
- mathematical proofs 4 Treffer
- matrices (mathematics) 4 Treffer
- open-ended questions 4 Treffer
- operator theory 4 Treffer
- overflow 4 Treffer
- performance 4 Treffer
- polynomial optimization 4 Treffer
- pvs 4 Treffer
- rounding errors 4 Treffer
- roundoff error 4 Treffer
- semidefinite programming 4 Treffer
- transcendental functions 4 Treffer
- underflow 4 Treffer
- arithmetic 3 Treffer
- square root 3 Treffer
- square-root 3 Treffer
- forward error analysis 2 Treffer
- proof system 2 Treffer
- algorithme numerique 1 Treffer
- algoritmo numerico 1 Treffer
- applied sciences 1 Treffer
- arithmetique intervalle 1 Treffer
- arithmetique virgule flottante 1 Treffer
- aritmetica en coma flotante 1 Treffer
- aritmetica intervalo 1 Treffer
- automatic proving 1 Treffer
- borne erreur 1 Treffer
- calcul dyadique 1 Treffer
- calculo diadico 1 Treffer
- certificacion 1 Treffer
- certification 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), Heft 1Online 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: