Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- floating-point arithmetic 22 Treffer
- coq 21 Treffer
- formalization 19 Treffer
- double-word arithmetic 14 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 Treffer
-
45 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
- formal verification 7 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
- interval analysis 4 Treffer
- matrices (mathematics) 4 Treffer
- performance 4 Treffer
- polynomial optimization 4 Treffer
- rounding errors 4 Treffer
- roundoff error 4 Treffer
- semidefinite programming 4 Treffer
- transcendental functions 4 Treffer
- architecture 3 Treffer
- arithmetic 3 Treffer
- composition 3 Treffer
- design 3 Treffer
- engineering 3 Treffer
- euclidean norms 3 Treffer
- industrial arts 3 Treffer
- mde 3 Treffer
- mof 3 Treffer
- square root 3 Treffer
- technology 3 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020207 software engineering 1 Treffer
- bunched logic 1 Treffer
- business rules 1 Treffer
- calculus 1 Treffer
- certification 1 Treffer
- computational logic 1 Treffer
- computer 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science 1 Treffer
- computer.software_genre 1 Treffer
- concurrency 1 Treffer
- description logic 1 Treffer
- direct proof 1 Treffer
Publikation
Sprache
8 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!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.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!KonferenzZugriff:
-
In: ACM Transactions on Mathematical Software, Jg. 43 (2016-12-01), Heft 4, S. 1-31Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 28 (2016-05-01), Heft 3, S. 409-440Online academicJournalZugriff: