I.Z. Emiris, B. Mourrain, V.P. Plagianakos, and M.N. Vrahatis,
``Robust Methods for Counting, Localizing and Computing with Certainty
Simple Zeros of Analytic Functions,''
In Proc. 5th Intern. Symp. Orthogonal Polyn., Spec. Functions \&
Appl., Patras, Greece, 1999
toappear.
Y.J. Choie, B. Mourrain, and P. Solé,
``Rankin Cohen brackets and Invariant Theory,''
J. of Algebraic Combinatorics, 1999
toappear.
D. Bondyfalat, B. Mourrain, and T. Papadopoulo,
``An Application of Automatic Theorem Proving in Computer Vision,''
In X.-S. Gao, D. Wang, and L. Yang, editors, Automated Deduction in
Geometry, number 1669 in LNAI, pp. 207-231. Springer-Verlag, Berlin
Heidelberg, 1999.
In J. Renegar, M. Shub, and S. Smale, editors, Proc. AMS-SIAM Summer
Seminar on Math. of Numerical Analysis, (Park City, Utah, 1995), volume
32 of Lectures in Applied Math., pp. 189-210. American Mathematical
Society Press, Providence, 1996.
O. Faugeras and B. Mourrain,
``On the geometry and Algebra of the point and line correspondences
between $N$ images,''
In Roger Mohr and Chengke Wu, editors, Proceedings of Europe-China
Workshop on Geometrical Modeling and Invariants for Computer Vision, pp.
102--109. Xidan University Press, 1995.
In J.P. Merlet and B. Ravani, editors, Computational Kinematics'95,
Solid Mechanics and its aplications, pp. 141-150, Sophia-Antipolis, 1995.
Kluwer {A}ca. {P}ub.
C. Garnier, B. Mourrain, and C. Rideau,
``Symbolic and Numeric Computation for the Real-Time simulation of a car
behavior,''
In J.P. Merlet and B. Ravani, editors, Computational Kinematics'95,
Solid Mechanics and its aplications, pp. 123-132, Sophia-Antipolis, 1995.
Kluwer {A}ca. {P}ub.
In L. Gonz\'alez and T. Recio, editors, Algorithms in Algebraic
Geometry and Applications, volume 143 of Prog. in Math., pp.
285-306. Birkh{\"a}user, Basel, 1996.
In S. Sakata, editor, Applied Algebra, Algebraic Algorithms and
Error-Correcting Codes (AAECC 8), volume 504 of LNCS, pp. 234-248.
Springer-Verlag, 1991.
Ensemble de fonctions de manipulations d'anneaux, d'idéaux, de modules, de
complexes, \dots en algèbre commutative. Connexions entre {\sc Maple} avec
{\sc Macaulay}. {\tt http://www.inria.fr/safir/SAM/micmac2.0/}.
Bibliothèque de structures et algorithmes {\sc C++}, intervenant dans la
résolution d'équations polynomiales, {\tt
http://www.inria.fr/saga/mourrain/ALP/}.