PUBLICATIONS

  1. O. Devillers, B. Mourrain, F. Preparata, and Ph. Trébuchet,
    ``On circular cylinders by four or five points,''
    Rapport de recherche, INRIA, 2000.

  2. B. Mourrain, Y. V. Pan, and O. Ruatta,
    ``Asymptotic acceleration of solving multivariate polynomial systems of equations,''
    submitted, 2001.

  3. O. Grellier, P. Comon, B. Mourrain, and Ph. Trébuchet,
    ``Analytical Blind Channel Identification,''
    submitted, 2000.

  4. B. Mourrain and H. Prieto,
    ``A framework for Symbolic and Numeric Computations,''
    Rapport de Recherche 4013, INRIA, 2000.

  5. O. Devillers, B. Mourrain, F.P. Preparata, and Ph. Trébuchet,
    ``On circular cylinders by four and five points in space,''
    submitted, 2000.

  6. L. Busé, M. Elkadi, and B. Mourrain,
    ``Residual resultant of complete intersection,''
    JPAA, 2000.

  7. B. Mourrain and Ph. Trébuchet,
    ``Solving projective complete intersection faster,''
    Proc. ISSAC, pp. 231-238, 2000.

  8. A. Fronville, O. Devillers, M. Teillaud, and B. Mourrain,
    ``Algebraic Methods and Arithmetic Filtering for Exact Predicates on Circle Arcs,''
    In Proc. 16th ACM Symp. on Comp. Geometry, Hong Kong, Chine, 2000.

  9. L. Busé, M. Elkadi, and B. Mourrain,
    ``Generalized resultant over unirational algebraic varieties,''
    J. of Symbolic Computation, 29:515-526, 2000.

  10. D. Bondyfalat, B. Mourrain, and V. Y. Pan,
    ``Solution of a polynomial system of equations via the eigenvector computation,''
    Lin. Alg. and its Appl., 319:193-209, 2000.

  11. M. Elkadi and B. Mourrain,
    ``Algorithms for residues and Lojasiewicz exponents,''
    J. of Pure and Applied Algebra, 153:27-44, 2000.

  12. H. Hirukawa, B.Mourrain, and Y. Papegay,
    ``A Symbolic-Numeric Silhouette Algorithm,''
    In Proceedings of 2000 IEEE International conference on RObotics Systems. IEEE Robotics Society, 2000.

  13. A. Fronville, O. Devillers, M. Teillaud, and B. Mourrain,
    ``Algebraic Methods and Arithmetic Filtering for Exact Predicates on Circle Arcs,''
    Rapport de Recherche 3826, INRIA, 1999.

  14. 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.

  15. Y.J. Choie, B. Mourrain, and P. Solé,
    ``Rankin Cohen brackets and Invariant Theory,''
    J. of Algebraic Combinatorics, 1999
    toappear.

  16. 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.

  17. I.Z. Emiris, B. Mourrain, and M.N. Vrahatis,
    ``Sign Methods for Counting and Computing Real Roots of Algebraic Systems,''
    Rapport de Recherche 3669, INRIA, 1999.

  18. M. Elkadi and B. Mourrain,
    ``A new algorithm for the geometric decomposition of a variety,''
    In S. Dooley, editor, Proc. Intern. Symp. on Symbolic and Algebraic Computation, pp. 9-16. ACM Press, New-York, 1999.

  19. B. Mourrain and V. Y. Pan,
    ``Multivariate Polynomials, Duality and Structured Matrices,''
    J. of Complexity, 16(1):110-180, 2000.

  20. B. Mourrain and V. Y. Pan,
    ``Lifting/descending processes for polynomial zeros,''
    J. of Complexity, 16:265-273, 2000.

  21. B. Mourrain,
    ``A new criterion for normal form algorithms,''
    In M. Fossorier, H. Imai, Shu Lin, and A. Poli, editors, Proc. AAECC, volume 1719 of LNCS, pp. 430-443. Springer, Berlin, 1999.

  22. A. Bonnecaze, B. Mourrain, and P. Solé,
    ``Jacobi Polynomials, Type II codes, and designs,''
    Designs, Codes and Cryptography, 16:215-234, 1999.

  23. I.Z. Emiris and B. Mourrain,
    ``Computer Algebra Methods for Studying and Computing Molecular Conformations,''
    Algorithmica, Special Issue on Algorithms for Computational Biology, 25:372--402, 1999.

  24. I.Z. Emiris and B. Mourrain,
    ``Matrices in Elimination Theory,''
    J. of Symbolic Computation, 28(1\&2):3-44, 1999.

  25. P. Comon, O. Grellier, and B. Mourrain,
    ``Blind Channel Identification with MSK inputs,''
    In Asilomar Conference, Pacific Grove, California, November 1-4 1998
    Invited session.

  26. B. Mourrain,
    ``An introduction to linear algebra methods for solving polynomial equations,''
    In E.A. Lipitakis, editor, HERCMA'98, pp. 179-200, 1999.

  27. M. Elkadi and B. Mourrain,
    ``Some applications of Bezoutians in Effective Algebraic Geometry,''
    Rapport de Recherche 3572, INRIA, Sophia Antipolis, 1998.

  28. B. Mourrain and V. Y. Pan,
    ``Asymptotic Acceleration of Solving Multivariate Polynomial Systems of Equations,''
    In Proc. STOC, pp. 488-496. ACM Press., 1998.

  29. D. Bondyfalat, B. Mourrain, and V. Y. Pan,
    ``Controlled iterative methods for solving polynomial systems,''
    In O. Gloor, editor, Proc. ISSAC'98, pp. 252-259. NewYork, ACM Press., 1998.

  30. B. Mourrain,
    ``Computing isolated polynomial roots by matrix methods,''
    J. of Symbolic Computation, Special Issue on Symbolic-Numeric Algebra for Polynomials, 26(6):715-738, Dec. 1998.

  31. B. Mourrain and V. Y. Pan,
    ``Multivariate Polynomials, Duality and Structured Matrices,''
    Rapport de Recherche 3513, INRIA, 1998.

  32. B. Mourrain,
    ``Algorithmes et Applications en Géométrie Algébrique,'', September 1997.

  33. B. Mourrain and Y. Papegay,
    ``Ecole de Printemps de Calcul Formel,'', Avril 1997
    Support de Cours C-172.

  34. B. Mourrain and V. Y. Pan,
    ``Multidimensional structured matrices and polynomial systems,''
    Calcolo, Special Issue for the workshop: Structure, Algorithms and Applications, 33:389-401, 1997.

  35. B. Mourrain and V. Y. Pan,
    ``Solving special polynomial systems by using structured matrices and algebraic residues,''
    In F. Cucker and M. Shub, editors, Foundations of Computational Mathematics (Rio de Janeiro), pp. 287-304. Springer-Verlag, 1997.

  36. I.Z. Emiris and B. Mourrain,
    ``Polynomial system solving; the case of a $6$-atom molecule,''
    Rapport de Recherche 3075, INRIA, Dec. 1996.

  37. M. Elkadi and B. Mourrain,
    ``Approche Effective des Résidus Algébriques,''
    Rapport de Recherche 2884, INRIA, Sophia Antipolis, 1996.

  38. B. Mourrain,
    ``Isolated points, duality and residues,''
    J. of Pure and Applied Algebra, 117 \& 118:469-493, 1996
    Special issue for the Proc. of the 4th Int. Symp. on Effective Methods in Algebraic Geometry (MEGA).

  39. A. Bonnecaze, P. Solé, C. Bachoc, and B. Mourrain,
    ``Type II codes over $Z_4$,''
    IEEE Transactions on Information Theory, 43(3):969-976, 1997.

  40. P. Comon and B. Mourrain,
    ``Decomposition of Quantics in sums of power of linear forms,''
    Signal Processing, 53(2):93-107, 1996
    Special issue on High-Order Statistics.

  41. J.P. Cardinal and B. Mourrain,
    ``Algebraic approach of residues and Applications,''
    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.

  42. 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.

  43. B. Mourrain and N. Stolfi,
    ``Applications of Clifford algebra in Robotics,''
    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.

  44. 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.

  45. O. Faugeras and B. Mourrain,
    ``On the geometry and algebra of the point and line correspondences between $N$ images,''
    In ICCV'95, pp. 951--956, 1995.

  46. O. Faugeras and B. Mourrain,
    ``On the geometry and algebra of the point and line correspondences between $N$ images,''
    Rapport de recherche 2665, INRIA, Sophia-Antipolis, 1995.

  47. B. Mourrain,
    ``Enumeration problems in Geometry, Robotics and Vision,''
    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.

  48. R. Fournier, N. Kajler, and B. Mourrain,
    ``Visualization of Mathematical Surfaces: the IZIC Server Approach,''
    J. of Symbolic Computations, 19:159-173, 1994.

  49. P. Comon and B. Mourrain,
    ``Decomposition of quantics in sums of powers,''
    In F.T. Luk, editor, Adv. Signal Proc.: Algorithms, Architecures and Implementations, volume 2296, pp. 93-104, San Diego, 1994. SPIE.

  50. B. Mourrain and N. Stolfi,
    ``Invariants methods in Discrete and Computational Geometry,'', chapter Computational Symbolic Geometry, pp. 107-139
    Kluwer Acad. Pub., 1994.

  51. B. Mourrain,
    ``The 40 generic positions of a parallel robot,''
    In M. Bronstein, editor, Proc. ISSAC, ACM press, pp. 173-182, Kiev (Ukraine), July 1993.

  52. B. Mourrain and N. Stolfi,
    ``The Hilbert series of invariants of $Sl_n$,''
    In G. Jacob, N.E. Oussous, and S. Steinberg, editors, IMACS SC'93, pp. 89-96, Lille (France), June 1993.

  53. R. Fournier, N. Kajler, and B. Mourrain,
    ``Izic: a portable language-driven tool for mathematical surfaces visualization,''
    In A. Miola, editor, DISCO'93, volume 722 of LNCS, pp. 341-353, Gmünden (Autriche), September 1993. Springer-Verlag.

  54. B. Mourrain,
    ``About the rationnal map associated to a parallel robot,''
    Rapport de recherche 2141, INRIA, Sophia-Antipolis, 1993.

  55. B. Mourrain,
    ``Computable identities in the algebra of formal matrices,''
    Theoretical Computer Science, 98:115-133, 1992.

  56. B. Mourrain,
    ``New aspects of geometrical calculus with invariants,''
    Advances in Mathematics
    toappear.

  57. B. Mourrain,
    ``Some algebra with formal matrices,''
    In S. Sakata, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC 8), volume 504 of LNCS, pp. 234-248. Springer-Verlag, 1991.

  58. B. Mourrain,
    ``Approche effective de la théorie des invariants des groupes classiques,''
    PhD thesis, Ecole Polytechnique, September 1991.

  59. B. Mourrain,
    ``Géométrie et Interprétation Générique ; un Algorithme,''
    In Effective Methods in Algebraic Geometry (MEGA'90), volume 94 of Progress in Math., pp. 363-377, Castiglioncello (Italy), 1991. Birkhäuser.

  60. B. Mourrain,
    ``Identités de Matrices,''
    Notes informelles de calcul formel, Ecole Polytechnique, 1990.

  61. L. Busé and B. Mourrain,
    ``\tt multires,'', 2000
    Ensemble de fonctions {\sc maple} pour la résolution d'équations polynomiales (méthodes matricielles, résultants, résidus, décomposition géométrique, ...).

  62. B. Mourrain,
    ``MICMAC,'', 1992
    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/}.

  63. B. Mourrain,
    ``ALP, Algèbre Linéaire pour les Polynômes,'', 1996-1999
    Bibliothèque de structures et algorithmes {\sc C++}, intervenant dans la résolution d'équations polynomiales, {\tt http://www.inria.fr/saga/mourrain/ALP/}.

  64. R. Fournier, N. Kajler, and B. Mourrain,
    ``IZIC,'', 1993
    Outil de visualisation 3D, pilotable à partir d'un système de calcul formel externe, {\tt http://www.inria.fr/safir/SAM/Izic/}.

  65. B. Mourrain,
    ``GEO,'', 1991
    Démonstration automatique de propriété d'incidence en géométrie élémentaire. \'Ecrit en {\tt Lelisp15.2}.

  66. D. Bini and B. Mourrain,
    ``Polynomial test suite,'', 1998
    {\tt http://www.inria.fr/saga/POL/ }.

  67. B. Mourrain,
    ``Computational Symbolic Geometry,'', 1995
    Notes de cours, école Erasmus, Antwerpt (Belgique). Contact pris pour publication dans la série Mathematical Methods of Technology (Marcel Dekker).

  68. M. Elkadi and B. Mourrain,
    ``Géométrie Algébrique Effective en dimension 0 : de la théorie à la pratique,'', 1999
    (180 p.). Notes de cours, DEA de Mathématiques, Université de Nice. Contact pris pour publication dans la série {\em Cours Spécialiés} de la SMF.

Mise á jour 08/01/01:09h41

[Fichier Bibtex]     [Home page]