Publications de Philippe Trébuchet


Articles parus ou à paraitre


Des versions préliminaires sont téléchargeables.

0%

  1. A new certified numerical algorithm for solving polynomial systems, . proc. SCAN2010.

  2. A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system, avec S. Graillat, Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009, p.167-173.

  3. Stable normal forms for polynomial system solving, avec B. Mourrain Theoretical Computer Science 409, 2 (2008) 229-240.

  4. Threshold signature for distributed time stamping scheme, avec A. Bonnecaze Annals of Telecommunications, 2007, Vol 11, pp. 1353--1364..
    [bib] [ps] [pdf]


  5. POSIX Threads Polynomials (PTPol): a scalable implementation of univariate arithmetic operations, avec M. Safey Proceedings of Parallel Symbolic Computation 07 .
    [bib] [ps] [pdf]


  6. Generalized normal forms and polynomial system solving, Rapport de recherche 5471 INRIA Sophia, avec B. Mourrain, dans Proceedings of the International Symposium on Symbolic and Algebraic Computation 2005 (best paper award).
    [bib-issac] [ps-issac] [pdf-issac]
    [bib-RR] [ps-RR] [pdf-RR]


  7. Generalized normal forms for positive dimensional ideals, International Conference on Polynomial System Solving 2004.
    [bib] [ps] [pdf]

  8. Vers une résolution stable et rapide des équations algébriques, thèse de l'université de Paris 6, soutenue le 16 décembre 2002.
    Directeurs B. Mourrain et D Lazard.
    [bib] [ps] [pdf]

  9. Anion-Exchange Displacement Centrifugal Partition Chromatography, Anal of Chemistry 2004 Vol76 p6179-6186, M. Maciuk, J. H. Renault, R. Margraff, P. Trébuchet, M. Zeches-Hanrot et J. M. Nuzillard. Une version courte a été publiée dans les actes de Pitcom 2002.
    [bib]
    [bib_pitcom]

  10. Solving projective complete intersection faster, Proceedings of International Symposium on Symbolic and Algebraic Computation 2000 p. 231-238, avec B. Mourrain.
    [bib] [ps] [pdf]

  11. On circular cylinders by four or five points in space, Journal of Discrete and Computational Geometry, 29:83--104, 2003, avec O. Devillers, B. Mourrain et F. Preparata.
    [bib] [ps] [pdf]

  12. Analytical Blind Channel Identification, Journal IEEE Trans. on Signal Processing vol. 50 p.2196-2207, 2002, avec O. Grellier, P. Common et B. Mourrain.
    [bib] [ps] [pdf]

  13. Algebraic methods for numerical solving,
    [bib] [ps] [pdf]

  14. An environment for Symbolic and Numeric Computation, Proceedings of the International Conference on Mathematical Software p239-249, avec G. Dos Reis, B. Mourrain et F. Rouillier.
    [bib] [ps] [pdf]

Articles soumis


  1. Mod&ecute;lisation de calcul à partir d'arbres et g&ecute;n&ecute;ration automatique de codes optimis&ecute;s pour les nouvelles architectures de calcul., with G. Pierron and J.L Lamotte accpte a RenPar 2011.

  2. Moment matrices and border basis., with J.B. Lasserre, M. Laurent, B. Mourrain and Ph. Rostalski, accpte a MEGA 2011.

Non Publiés

  1. Reliable numerical evaluation of eigenvalues involved in polynomial systems solving, avec F. Jezequel et C. Denis, soumis à RNC.

  2. Strong Bi-homogeneous Bézout's Theorem and its use in effective real algebraic geometry, Rapport de recherche 5071 INRIA Rocquencourt, janvier 2004, avec M. Safey el Din, soumis à Journal of Complexity.
    [bib] [ps] [pdf]

  3. A symbolic-numeric approach to implicitization, soumis à Journal of symbolic computation 2004, avec O. Ruatta.
    [bib] [ps] [pdf]