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

Télécharger au format