Zum Hauptinhalt springen

Accurate calculation of Euclidean Norms using Double-word arithmetic

Lefèvre, Vincent ; Louvet, Nicolas ; et al.
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⟩, 2023
Online academicJournal

Titel:
Accurate calculation of Euclidean Norms using Double-word arithmetic
Autor/in / Beteiligte Person: Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel ; Picot, Joris ; Rideau, Laurence ; Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC) ; Laboratoire de l'Informatique du Parallélisme (LIP) ; École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon ; Institut National de Recherche en Informatique et en Automatique (Inria) ; Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon ; Centre National de la Recherche Scientifique (CNRS) ; École normale supérieure de Lyon (ENS de Lyon) ; Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) ; ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)
Link:
Zeitschrift: 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⟩, 2023
Veröffentlichung: HAL CCSD ; Association for Computing Machinery, 2023
Medientyp: academicJournal
DOI: 10.1145/3568672
Schlagwort:
  • Overflow
  • Underflow
  • Square-root
  • Formalization
  • Proof assistant
  • Coq
  • Floating-Point arithmetic
  • Euclidean norms
  • Double-word arithmetic
  • Double-double arithmetic
  • [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
  • [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
  • [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Sonstiges:
  • Nachgewiesen in: BASE
  • Sprachen: English
  • Collection: HAL Université Côte d'Azur
  • Document Type: article in journal/newspaper
  • Language: English
  • Relation: hal-03482567; https://hal.science/hal-03482567; https://hal.science/hal-03482567v2/document; https://hal.science/hal-03482567v2/file/NormsandDW%20HaLV2.pdf
  • Rights: http://creativecommons.org/licenses/by/ ; info:eu-repo/semantics/OpenAccess

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

oder
oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

oder
oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -