Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- coq 10 Treffer
- floating-point arithmetic 10 Treffer
- formalization 10 Treffer
- proof assistant 10 Treffer
-
8 weitere Werte:
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 9 Treffer
- double-word arithmetic 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- square-root 5 Treffer
- overflow 4 Treffer
- underflow 4 Treffer
- double-double arithmetic 3 Treffer
- euclidean norms 3 Treffer
Sprache
14 Treffer
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-02972245 ; ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩, 2022Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-02972245 ; ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩, 2022Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-02972245 ; ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩, 2022Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-02972245 ; ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩, 2022Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.archives-ouvertes.fr/hal-02972245 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, In press, 2021Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-00127769 ; ACM Transactions on Mathematical Software, 2010, 37 (1), pp.1-20. ⟨10.1145/1644001.1644002⟩, 2010Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-00127769 ; ACM Transactions on Mathematical Software, 2010, 37 (1), pp.1-20. ⟨10.1145/1644001.1644002⟩, 2010Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-00127769 ; ACM Transactions on Mathematical Software, 2010, 37 (1), pp.1-20. ⟨10.1145/1644001.1644002⟩, 2010Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.inria.fr/hal-00127769 ; ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.1-20. ⟨10.1145/1644001.1644002⟩, 2010Online academicJournalZugriff: