Projet Safir
Précédent : Diffusion des résultats
Remonter : Projet SAFIR, Systèmes Algébriques et
- Ouvrages et articles de référence
de l'équipe
- 1
- C. DUVAL, P.
ERHARD, C.
FAURE, J.
GILBERT,
« Application of the Automatic Differentiation Tool
Odyssée to a system of thermohydraulic equations.
»,
Numerical Methods in Engineering , 1996, p.
795-802.
- 2
- I. EMIRIS, A.
GALLIGO, H.
LOMBARDI,
« Certified Approximate Univariate GCDs »,
J. Pure Applied Algebra. Special Issue on Algorithms for
Algebra 117 & 118 , mai 1997, p. 229-251.
- 3
- I. EMIRIS,
« On the Complexity of Sparse Elimination »,
J. Complexity 12 , 1996, p. 134-166.
- 4
- J. GRIMM, L.
POTTIER, N.
ROSTAING-SCHMIDT,
« Optimal time and minimum space-time product for reversing a
certain class of programs »,
Computational Differentiation: Applications, Techniques,
and Tools , 1996.
- 5
- B. MOURRAIN,
« Enumeration problems in Geometry, Robotics and Vision »,
in: Effective Methods in Algebraic Geometry (MEGA'94)
, Progress in Math. , 143 , Birkhäuser, p.
285-306,
Santander (Spain), 1994.
- 6
- B. MOURRAIN,
« Isolated points, duality and residues »,
J. of Pure and Applied Algebra 117 & 118 , 1997,
p. 469-493,
Special issue for the proc. of the 4th Int. Symp. on Effective
Methods in Algebraic Geometry (MEGA).
- 7
- Y. PAPEGAY,
« Le Calcul Formel : un outil pour l'ingénieur »,
in: TEMU-95 ,
Universitat Politecnica de Catalunya, février 1995. http://www.inria.fr/safir/ypapegay/pspapers/95temu.ps.gz
.
- 8
- L. POTTIER,
« Bornes et algorithmes de calcul des générateurs des solutions
de systèmes diophantiens linéaires »,
Comptes Rendus de l'Académie des Sciences de Paris ,
1990.
- 9
- L. POTTIER,
« Euclid's algorithm in dimension n »,
in: Proc. of ISSAC 96, Zurich , ACM Press,
juillet 1996.
- 10
- N. ROSTAING, S.
DALMAS, A.
GALLIGO,
« Automatic Differentiation in Odyssée »,
Tellus 45A , 5, 1993, p. 558-568.
- Livres et
monographies
- 11
- M. BRONSTEIN, J.
GRABMEIER, V.
WEISPFENNING (réd.),
Symbolic Rewriting Techniques ,
Birkhäuser, 1998,
à paraître.
- Thèses et habilitations à diriger
des recherches
- 12
- O. ARSAC,
Interfaces homme machine pour le calcul formel ,
thèse de doctorat, Université de Nice-Sophia Antipolis, juillet
1997.
- 13
- C. HUCHET,
Base de données pour relations mathématiques ,
thèse de doctorat, Université de Nice-Sophia Antipolis,
septembre 1997.
- 14
- B. MOURRAIN,
Algorithmes et Applications en Géométrie Algébrique
,
habilitation à diriger des recherches, Univ. de Nice, septembre
1997.
- Articles
- 15
- A. BONNECAZE, P.
SOLÉ, C.
BACHOC, B.
MOURRAIN,
« Type II codes over 
»,
IEEE Transactions on Information Theory 43 , 3, 1997,
p. 969-976.
- 16
- H. BRÖNNIMANN, I.
EMIRIS, V.
PAN, S.
PION,
« Sign Determination in Residue Number Systems »,
Theoretical Computer Science, Special Issue on Real Numbers
and Computers , 1998,
à paraître.
- 17
- I. EMIRIS, J.
CANNY, R.
SEIDEL,
« Efficient Perturbations for Handling Geometric Degeneracies
»,
Algorithmica, Special Issue on Computational Geometry in
Manufacturing 19 , 1/2, Sep./Oct. 1997, p. 219-242.
- 18
- I. EMIRIS, V.
PAN, Y.
YU,
« Modular Arithmetic for Linear Algebra Computations in the
Real Field »,
J. Symbolic Computation , 1998,
à paraître.
- 19
- I. EMIRIS,
« A Complete Implementation for Computing General Dimensional
Convex Hulls »,
Intern. J. Computational Geometry & Applications,
Special Issue on Geometric Software , 1998,
à paraître. Version préliminaire RR 2551, INRIA, 1995.
- 20
- J. GRIMM, L.
POTTIER, N.
ROSTAING-SCHMIDT,
« A sharp lower bound on the time-space product for reversing a
finite sequence »,
Information Processing Letters , 1997,
à paraître.
- 21
- B. MOURRAIN, V. Y.
PAN,
« Multidimensional structured matrices and polynomial systems
»,
Calcolo, Special Issue, workshop on Toeplitz matrices:
Structure, Algorithms and Applications 33 , 1997, p.
389-401,
ftp://www.inria.fr/safir/9609-BMVP-cortona.ps.gz
.
- Chapitres de
livre
- 22
- A. DÍAZ, I.
EMIRIS, E.
KALTOFEN, V.
PAN,
« Algebraic Algorithms »,
in: Handbook of Algorithms and Theory of Computation ,
M. Atallah (réd.),
CRC Press, Boca Raton, Florida, 1998, ch. 12,
à paraître.
- 23
- I. EMIRIS, V.
PAN,
« Applications of FFT »,
in: Handbook of Algorithms and Theory of Computation ,
M. Atallah (réd.),
CRC Press, Boca Raton, Florida, 1998, ch. 13,
à paraître.
- 24
- I. EMIRIS,
« Symbolic-Numeric Algebra for Polynomials »,
in: Encyclopedia of Computer Science and Technology
,
Marcel Dekker, New York, 1998,
à paraître.
- Communications à des manifestations
scientifiques
- 25
- H. BRÓNNIMANN, I.
EMIRIS, V.
PAN, S.
PION,
« Computing Exact Geometric Predicates Using Modular Arithmetic
with Single Precision »,
in: Proc. ACM Symp. on Computational Geometry , p.
174-182,
Nice, 1997.
- 26
- S. DALMAS, M.
GAëTANO,
S. WATT,
« An OpenMath 1.0 Implementation »,
in: Proceedings of ISSAC'97 , ACM press, p.
241-248,
1997.
- 27
- I. EMIRIS, V.
PAN,
« The structure of sparse resultant matrices »,
in: Proc. ACM Intern. Symp. on Symbolic and Algebraic
Computation , p. 189-196,
Maui, Hawaii, juillet 1997.
- 28
- A. GALLIGO, S.
WATT,
« A numerical absolute primality test for bivariate polynomials
»,
in: Proceedings of the 1997 International Symposium on
Symbolic and Algebraic Computation (ISSAC 97) , ACM Press,
p. 217-224,
1997.
- 29
- B. MOURRAIN, V. Y.
PAN,
« Solving special polynomial systems by using structured
matrices and algebraic residues »,
in: Proc. of the workshop on Foundations of Computational
Mathematics (Rio de Janeiro. 1997) , F. Cucker, M. Shub
(réd.), Springer, p. 287-304,
1997,
ftp://www.inria.fr/safir/9701-BMVP-rio.ps.gz
.
- 30
- L. POTTIER, S.
LAVIROTTE,
« Optical formula recognition »,
in: International Conference on Document Analysis and
Recognition, ICDAR'97, Ulm, Germany ,
août 1997.
- 31
- L. POTTIER,
« Algorithms for Hilbert bases »,
in: Invited session on Hilbert bases (org. M.Henk),
International Symposium on Mathematical Programming (ISMP 97),
Lausanne ,
août 1997.
- Rapports de
recherche
- 32
- H. BRÓNNIMANN, I.
EMIRIS, V.
PAN, S.
PION,
« Computing Exact Geometric Predicates Using Modular Arithmetic
with Single Precision »,
rapport de recherche No3213, INRIA, 1997,
http://www.inria.fr/RRRT/RR-3213.html
.
- 33
- I. CHARPENTIER, M.
GHEMIRES,
« Génération automatique de codes adjoints : Stratégies
d'utilisation pour le logiciel Odyssée, Application au code
météorologique Meso-NH »,
Rapport de recherche No3251, INRIA, septembre 1997,
http://www.inria.fr/RRRT/RR-3251.html
.
- 34
- I. EMIRIS, J.
VERSCHELDE,
« How to Count Efficiently all Affine Roots of a Polynomial
System »,
rapport de recherche No3212, INRIA, 1997,
http://www.inria.fr/RRRT/RR-3212.html
.
- 35
- I. EMIRIS,
« A General Solver Based on Sparse Resultants: Numerical Issues
and Kinematic Applications »,
rapport de recherche No3110, INRIA, janvier 1997,
http://www.inria.fr/RRRT/RR-3110.html
.
- 36
- C. FAURE, Y.
PAPEGAY,
« ODYSSEE Version 1.6 - The User's Reference Manual »,
Rapport technique No0211, INRIA, novembre 1997,
http://www.inria.fr/RRRT/RT-0211.html
.
- 37
- B. MOURRAIN, Y.
PAPEGAY,
« Ecole de Printemps de Calcul Formel »,
Support de Cours NoC-172, INRIA, avril 1997,
http://www.inria.fr/RRRT/C-172.html
.
- Divers
- 38
- I. EMIRIS,
« Review of Polynomial and Matrix Computations. Volume 1:
Fundamental Algorithms, by D. Bini and V. Pan, Birkhäuser,
Boston, 1994 », 1997.
- 39
- C. FAURE,
« The cotangent mode in Odyssee »,
Third Workshop on Adjoint Applications in Dynamic Meteorology,
juin 1997.
- 40
- C. FAURE,
« Development and Application of ODYSSEE an Adjoint Generator
for Fortran Programs »,
Identification and optimization of complex models by
sensitivity analysis, juin 1997.
- 41
- C. FAURE,
« Development and Application of ODYSSEE an Adjoint Generator
for Fortran Programs »,
Template-Driven Automatic Differentiation for Large-Scale
Scientific and Engineering Applications, juillet 1997.
- 42
- S. WATT,
« Mathematical Markup Language »,
http://www.w3.org/pub/WWW/TR/WD-math,
1997,
A Working Draft of the World Wide Web Consortium.
- Bibliographie
générale
- EM96
- I.Z. Emiris and B. Mourrain.
Polynomial system solving: The case of a 6-atom molecule.
rapport de recherche 3075, INRIA, December 1996.
- EM97
- I.Z. Emiris and B. Mourrain.
Matrices in elimination theory.
J. Symbolic Computation, Special Issue on Elimination,
1997.
Soumis.
- LLM96
- S. Labhalla, H. Lombardi, and R. Marlin.
Algorithmes de calcul de la réduction de Hermite d'une matrice
à coefficients polynomiaux.
Theoretical Computer Science, 161:69-92, July
1996.
- MP97
- B. Mourrain and V.Y. Pan.
Multivariate polynomials, duality and structured matrices.
Lin. Algebra and Appl., 1997.
Submitted.
- Sey98
- Fabien Seyfert.
Théorie de l'approximation pour l'identification
fréquentielle. Application à l'identification de filtres
hyperfréquences à cavités résonnantes.
PhD thesis, UNSA, 1998.