A. BARRAUD, C. BREZINSKI,
J.-M. CHESNEAUX, P. LANGLOIS,
S. LESECQ,
G. PLATEAU, A. RENAUD,
J. VISCONTI,
Outils d'analyse numérique pour
l'automatique,
Traité IC2, Hermès, 2002,
ch. 1,
p. 9-43.
L. CHEN,
W. EBERLY, E. KALTOFEN, B. SAUNDERS,
W. TURNER, G. VILLARD, « Efficient
matrix preconditioners for black box linear algebra », Linear Algebra and its Applications, special issue on
Infinite Systems of Linear Equations Finitely Specified.
M. DAUMAS,
F. DE DINECHIN,
J.-M. MULLER, Arithmétique
et calcul sur machine, Hermès, À paraître,
ch. Arithmétique
flottante.
M. DAUMAS,
P. LANGLOIS, « Additive symmetric:
the non-negative case », Theoretical
Computer Science, 2002.
D. DEFOUR, J.-M. MULLER,
« Évaluation
des fonctions élémentaires », Calculateurs
Parallèles, 2001.
J.-G. DUMAS,
B. SAUNDERS,
G. VILLARD, « On
efficient sparse integer matrix Smith normal form computations »,
Journal of Symbolic Computation, special issue
on Computer Algebra and Mechanized Reasoning 32, 1-2, 2001,
p. 71-99.
L. GERBAUD,
M. BARKATOU, G. VILLARD,
A. BOLOPION,
« Résolution symbolique d'équations
différentielles
ordinaires en vue de l'étude de circuits d'électronique de
puissance », Revue Internationale de
Génie Electrique 4, 1-2, 2001.
P. LANGLOIS, « Automatic linear
correction of rounding errors », BIT Numerical Mathematics
41, 3, 2001, p. 515-539.
P. LANGLOIS, « Une méthode de
correction automatique », Calculateurs
Parallèles, 2001.
D. LAVENIER,
D. LITAIZE, J. M. MULLER,
P. SAINRAT,
« Et demain, quel PC ? », Technique
et Science Informatiques 20, 1, 2001.
N. REVOL, « Arithmétique
par intervalles », Calculateurs
Parallèles, 2001.
Publications in Conferences and Workshops
S. BOLDO, M. DAUMAS,
« A mechanically validated technique for extending the
available precision »,
in: 35th Asilomar Conference on Signals, Systems,
and Computers, Pacific Grove, California, 2001.
S. BOLDO, M. DAUMAS,
« Performances d'implantations de l'addition en précision
quad-double sur différentes machines », in:
7ème Symposium sur les Architectures Nouvelles de Machines,
p. 105-112, Paris, France, 2001.
N. BOULLIS, A. TISSERAND,
« On digit-recurrence division algorithms for self-timed
circuits »,
in: Advanced Signal Processing Algorithms,
Architecture
and Implementations XI, F. Luk (éditeur), San
Diego, California, 2001.
T. BRACONNIER,
P. LANGLOIS, « From rounding error
estimation to automatic correction with automatic
differentiation »,
in: Automatic Differentiation: from Simulation
to Optimization, G. Corliss, C. Faure, A. Griewank,
L. Hascoet, U. Naumann (éditeurs), p. 351-359,
2001.
M. DAUMAS, P. LANGLOIS,
« From x to z
with finite precision addition », in:
Algèbre Linéaire et Arithmétique : Calcul Numérique,
Symbolique et Parallèle, p. 189-194, Rabat, Morocco,
2001.
M. DAUMAS,
L. RIDEAU, L. THÉRY,
« A generic library of floating-point numbers and its
application to exact computing », in: 14th International Conference on Theorem Proving in
Higher Order Logics, Edinburgh, Scotland, 2001.
F. DE DINECHIN,
A. TISSERAND, « Some improvements
on multipartite table methods », in:
Proceedings of the 15th Symposium on Computer Arithmetic,
N. Burgess, L. Ciminiera (éditeurs), p. 128-135,
Vail, Colorado, 2001.
D. DEFOUR, P. KORNERUP,
J.-M. MULLER, N. REVOL,
« A new range reduction algorithm », in: 35th Asilomar Conference on Signals, Systems, and
Computers, Pacific
Grove, California, 2001.
D. DEFOUR,
J.-M. MULLER, « Correctly rounded
exponential
function in double precision arithmetic », in:
Advanced Signal Processing Algorithms, Architecture and
Implementations XI, F. Luk (éditeur), San Diego,
California, 2001.
W. EBERLY, M. GIESBRECHT,
G. VILLARD, « Computing the
determinant and Smith form of an integer matrix », in: 41st Annual IEEE Symposium on Foundations of
Computer Science, p. 675-679,
Redondo Beach, California, 2000.
E. KALTOFEN, G. VILLARD,
« On
the complexity of computing determinants », in:
Fifth Asian Symposium on Computer Mathematics, World Scientific
Publishing Company, Singapore, Mailaisia, 2001.
T. LANG, J.-M. MULLER,
« Bound on run of zeros and ones for algebraic
functions », in: Proceedings of the 15th Symposium on Computer
Arithmetic,
N. Burgess, L. Ciminiera (éditeurs), p. 13-20, Vail,
Colorado, 2001.
V. LEFÈVRE,
J.-M. MULLER, « Worst cases for correct
rounding of the elementary functions in double
precision », in: Proceedings of the 15th Symposium on Computer
Arithmetic,
N. Burgess, L. Ciminiera (éditeurs), p. 111-118, Vail,
Colorado, 2001.
J. A.
PINEIRO, J. D. BRUGUERA,
J.-M. MULLER, « Faithful powering
computation using table look-up and a fused accumulation tree »,
in: Proceedings of the 15th Symposium on Computer
Arithmetic, N. Burgess, L. Ciminiera (éditeurs),
p. 40-47, Vail, Colorado, 2001.
J. A. PINEIRO,
J. D. BRUGUERA,
J.-M. MULLER, « FPGA implementation
of a faithful polynomial approximation for powering function
computation »,
in: Proceedings of EUROMICRO Symposium on Digital
System Design (DSD'2001), Warszawa, Poland, 2001.
N. REVOL, Y. DENNEULIN,
J.-F. MÉHAUT, B. PLANQUELLE,
« Parallelization of continuous global optimization »,
in: Parallel Processing and Applied
Mathematics,
Naleczów, Poland, 2001.
N. REVOL,
« Newton iteration using multiple precision interval arithmetic:
the univariate case », in: Algèbre
Linéaire et Arithmétique : Calcul Numérique, Symbolique
et Parallèle, p. 121-129, Rabat, Morocco, 2001.
G. VILLARD, « Evaluation
du signe et calcul du déterminant d'une matrice à
coefficients entiers », in:
Algèbre Linéaire et Arithmétique : Calcul
Numérique, Symbolique et Parallèle,
p. 147-153, Rabat, Morocco, 2001, http://perso.ens-lyon.fr/gilles.villard/BIBLIOGRAPHIE/POSTSCRIPT/ala.ps.
Internal Reports
N. BOULLIS, A. TISSERAND,
« On digit-recurrence division algorithms for self-timed circuits »,
Research report no INRIA 4221 / LIP
27, 2001, http://www.inria.fr/rrrt/rr-4221.html.
M. DAUMAS, P. LANGLOIS,
« Additive symmetric: the non-negative case »,
Research report no INRIA 4115 / LIP 06,
2001, http://www.inria.fr/rrrt/rr-4115.html.
M. DAUMAS,
C. MOREAU-FINOT,
L. THERY, « Computer validated
proofs of a toolset for adaptable arithmetic », Research
report no INRIA 4095 / LIP 01, 2001, http://www.inria.fr/rrrt/rr-4095.html.
F. DE DINECHIN,
A. TISSERAND, « Some improvements
on multipartite table methods », Research
report no INRIA 4059 / LIP 38, 2000, http://www.inria.fr/rrrt/rr-4059.html.
P. LANGLOIS, N. REVOL,
« Validating polynomial numerical computations with
complementary automatic methods », Research report
no INRIA 4205 / LIP 18, 2001, http://www.inria.fr/rrrt/rr-4205.html.
Y. O. MOHAMED EL HADJ,
N. REVOL, « Parallelization of
automatic speech recognition », Research
report no INRIA 4110 / LIP 02, 2001, http://www.inria.fr/rrrt/rr-4110.html.
