Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 20 Treffer
- proof assistant 19 Treffer
- floating-point arithmetic 18 Treffer
- double-word arithmetic 14 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 Treffer
-
14 weitere Werte:
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- double-double arithmetic 10 Treffer
- overflow 8 Treffer
- square-root 8 Treffer
- underflow 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 5 Treffer
- computer arithmetic 4 Treffer
- subtyping 4 Treffer
- arithmetic 3 Treffer
- euclidean norms 3 Treffer
- square root 3 Treffer
- dependent types 1 Treffer
- modes 1 Treffer
Publikation
Sprache
5 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-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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 44 (2022-12-01), Heft 4, S. 1-54Online academicJournalZugriff: