dataHAL.science
Support
https://data.archives-ouvertes.fr/author/1201
https://data.archives-ouvertes.fr/author/1201
http://xmlns.com/foaf/0.1/topic_interest
Double rounding
http://xmlns.com/foaf/0.1/topic_interest
2Sum
http://xmlns.com/foaf/0.1/topic_interest
Floating-point arithmetic
http://xmlns.com/foaf/0.1/topic_interest
Runge-Kutta method
http://xmlns.com/foaf/0.1/topic_interest
Niveau d'abstraction
http://xmlns.com/foaf/0.1/topic_interest
Erreur
http://xmlns.com/foaf/0.1/topic_interest
HORNER'S RULE
http://www.openarchives.org/ore/terms/isAggregatedBy
https://data.archives-ouvertes.fr/author/sboldo
http://xmlns.com/foaf/0.1/topic_interest
Parametric integrals
http://xmlns.com/foaf/0.1/topic_interest
Verified compilation
http://xmlns.com/foaf/0.1/topic_interest
Real analysis
http://www.w3.org/2002/07/owl#sameAs
0000-0002-1970-3019
http://xmlns.com/foaf/0.1/topic_interest
Odd Rounding
http://xmlns.com/foaf/0.1/topic_interest
Radix
http://xmlns.com/foaf/0.1/topic_interest
Multiplieur-additionneur
http://www.w3.org/2002/07/owl#sameAs
112505821
http://xmlns.com/foaf/0.1/topic_interest
Complexité
http://xmlns.com/foaf/0.1/topic_interest
Formal proof of numerical program
http://xmlns.com/foaf/0.1/topic_interest
Algorithme
http://xmlns.com/foaf/0.1/topic_interest
Square root
http://xmlns.com/foaf/0.1/topic_interest
Square
http://xmlns.com/foaf/0.1/topic_interest
Podcast
http://xmlns.com/foaf/0.1/topic_interest
Dynamique
http://xmlns.com/foaf/0.1/topic_interest
Bochner integration
http://xmlns.com/foaf/0.1/topic_interest
Formal methods
http://xmlns.com/foaf/0.1/topic_interest
Fused multiply accumulate
http://xmlns.com/foaf/0.1/topic_interest
Libraries
http://xmlns.com/foaf/0.1/topic_interest
Functional analysis
http://xmlns.com/foaf/0.1/topic_interest
Underflow
http://xmlns.com/foaf/0.1/topic_interest
Standard real analysis
http://xmlns.com/foaf/0.1/topic_interest
Recherche
http://xmlns.com/foaf/0.1/topic_interest
Advection
http://xmlns.com/foaf/0.1/topic_interest
Formal proof
http://xmlns.com/foaf/0.1/topic_interest
Calcul
http://xmlns.com/foaf/0.1/topic_interest
Acoustic wave equation
http://xmlns.com/foaf/0.1/topic_interest
C program
http://xmlns.com/foaf/0.1/topic_interest
Programme C
http://xmlns.com/foaf/0.1/topic_interest
Intégrale de Lebesgue
http://xmlns.com/foaf/0.1/topic_interest
Dot Product
http://xmlns.com/foaf/0.1/topic_interest
Spécification
http://xmlns.com/foaf/0.1/topic_interest
Numerical integration
http://xmlns.com/foaf/0.1/topic_interest
DIGITAL SIGNAL PROCESSING
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest
Error-free transforms
http://xmlns.com/foaf/0.1/topic_interest
Analyse fonctionnelle
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ms
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-na
http://xmlns.com/foaf/0.1/familyName
Boldo
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/topic_interest
Culture scientifique
http://xmlns.com/foaf/0.1/topic_interest
FMA
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
Power series
http://xmlns.com/foaf/0.1/topic_interest
Preuve formelle
http://xmlns.com/foaf/0.1/topic_interest
TIPE
http://xmlns.com/foaf/0.1/topic_interest
AVIONICS
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest
Popularisation des sciences
http://xmlns.com/foaf/0.1/topic_interest
Rounding error analysis
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest
Formal proof systems
http://xmlns.com/foaf/0.1/topic_interest
Stability
http://xmlns.com/foaf/0.1/topic_interest
Rounding mode
http://xmlns.com/foaf/0.1/topic_interest
Intégrale de Bochner
http://xmlns.com/foaf/0.1/topic_interest
Bug
http://xmlns.com/foaf/0.1/topic_interest
Coq formal proof
http://xmlns.com/foaf/0.1/topic_interest
Accurate summation
http://xmlns.com/foaf/0.1/topic_interest
Error-free transformation
http://xmlns.com/foaf/0.1/topic_interest
Norme IEEE 754
http://xmlns.com/foaf/0.1/topic_interest
Hydrodynamics
http://xmlns.com/foaf/0.1/topic_interest
Virgule flottante
http://xmlns.com/foaf/0.1/topic_interest
Computer arithmetic
http://xmlns.com/foaf/0.1/topic_interest
Vérification déductive
http://xmlns.com/foaf/0.1/topic_interest
Lax-Milgram theorem
http://xmlns.com/foaf/0.1/topic_interest
Real arithmetic
http://xmlns.com/foaf/0.1/topic_interest
Convergence of numerical scheme
http://xmlns.com/foaf/0.1/topic_interest
Formal proof system
http://xmlns.com/foaf/0.1/topic_interest
Generalized limits
http://xmlns.com/foaf/0.1/topic_interest
Arithmétique flottante
http://xmlns.com/foaf/0.1/topic_interest
Successor
http://xmlns.com/foaf/0.1/topic_interest
Numerical reproducibility
http://xmlns.com/foaf/0.1/topic_interest
Partial differential equation
http://xmlns.com/foaf/0.1/topic_interest
Digital signal processing
http://xmlns.com/foaf/0.1/topic_interest
Arithmétique des ordinateurs
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/math.math-ca
http://xmlns.com/foaf/0.1/topic_interest
Faithful rounding
http://xmlns.com/foaf/0.1/topic_interest
Directed rounding
http://xmlns.com/foaf/0.1/topic_interest
Rounding to odd
http://xmlns.com/foaf/0.1/topic_interest
Rounding errors
http://xmlns.com/foaf/0.1/topic_interest
Théorème de Tonelli
http://xmlns.com/foaf/0.1/topic_interest
Argument reduction
http://xmlns.com/foaf/0.1/topic_interest
Library
http://xmlns.com/foaf/0.1/topic_interest
Coq proof assistant
http://xmlns.com/foaf/0.1/topic_interest
Program verification
http://xmlns.com/foaf/0.1/topic_interest
Measure theory
http://xmlns.com/foaf/0.1/topic_interest
Écriture binaire
http://xmlns.com/foaf/0.1/topic_interest
Predecessor
http://xmlns.com/foaf/0.1/topic_interest
Lax-Milgram
http://xmlns.com/foaf/0.1/topic_interest
Calcul numérique
http://xmlns.com/foaf/0.1/firstName
Sylvie
http://xmlns.com/foaf/0.1/topic_interest
Double arrondi
http://xmlns.com/foaf/0.1/topic_interest
Organisation
http://xmlns.com/foaf/0.1/topic_interest
Deductive verification
http://xmlns.com/foaf/0.1/topic_interest
Runge-Kutta Methods
http://xmlns.com/foaf/0.1/topic_interest
Numerical repro- ducibility
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/math.math-fa
http://xmlns.com/foaf/0.1/topic_interest
Sum-of-Products
http://xmlns.com/foaf/0.1/topic_interest
FLOATING POINT
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/math.math-na
http://xmlns.com/foaf/0.1/topic_interest
Virgule flottante
http://xmlns.com/foaf/0.1/topic_interest
Fast2Sum
http://xmlns.com/foaf/0.1/topic_interest
Numerical scheme
http://xmlns.com/foaf/0.1/topic_interest
Théorie de la mesure
http://xmlns.com/foaf/0.1/topic_interest
Multiple-precision arithmetic
http://xmlns.com/foaf/0.1/topic_interest
Formal proof Coq Measure theory Lebesgue integration Tonelli's theorem
http://xmlns.com/foaf/0.1/topic_interest
Rounding to nearest
http://xmlns.com/foaf/0.1/topic_interest
Coq formal proofs
http://xmlns.com/foaf/0.1/topic_interest
Méthode des éléments finis
http://xmlns.com/foaf/0.1/topic_interest
Finite element method
http://xmlns.com/foaf/0.1/topic_interest
Bochner integral
http://xmlns.com/foaf/0.1/topic_interest
Paradigme de programmation
http://xmlns.com/foaf/0.1/topic_interest
Double précision
http://xmlns.com/foaf/0.1/topic_interest
Differentiability
http://xmlns.com/foaf/0.1/name
Sylvie Boldo
http://xmlns.com/foaf/0.1/topic_interest
Floating-point expansions
http://xmlns.com/foaf/0.1/topic_interest
Lebesgue integration
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ao
http://xmlns.com/foaf/0.1/topic_interest
Coq
http://xmlns.com/foaf/0.1/topic_interest
Tonelli's theorem
http://xmlns.com/foaf/0.1/topic_interest
Linear stability
http://xmlns.com/foaf/0.1/topic_interest
Floating-point semantic preservation
http://xmlns.com/foaf/0.1/topic_interest
Proof of C program
http://xmlns.com/foaf/0.1/mbox_sha1sum
c1e5bf8f6b105e0620e51e320a41725c
http://xmlns.com/foaf/0.1/topic_interest
Correct Round- ing
http://xmlns.com/foaf/0.1/topic_interest
Programmation dynamique
http://xmlns.com/foaf/0.1/topic_interest
Ordinary Differential Equation
http://xmlns.com/foaf/0.1/topic_interest
Avionics
http://xmlns.com/foaf/0.1/topic_interest
Overflow
http://xmlns.com/foaf/0.1/topic_interest
Discriminant
http://xmlns.com/foaf/0.1/topic_interest
Règle de Horner
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-gr
http://xmlns.com/foaf/0.1/topic_interest
Fixed-Point Arithmetic
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest
Service public
http://xmlns.com/foaf/0.1/topic_interest
Médiation scientifique
http://xmlns.com/foaf/0.1/topic_interest
Floating-point
http://xmlns.com/foaf/0.1/topic_interest
Tonelli theorem
http://xmlns.com/foaf/0.1/topic_interest
Round-off error
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest
Arithmétique virgule flottante
http://xmlns.com/foaf/0.1/topic_interest
Preuve de programme
http://xmlns.com/foaf/0.1/topic_interest
IEEE 754 STANDARD
https://aurehal.archives-ouvertes.fr/author/1201
Télécharger au format
RDF/XML
Turtle
N3
Json