[retour]

• A solution to the Gröbner ring conjecture in the lexicographical monomial order case.
  Mathematische Zeitschrift, in press.
  
  
• Un algorithme pour le calcul des syzygies sur V[X] dans le cas où V est un domaine de valuation.
  with Henri Lombardi and Claude Quitté
  Communications in Algebra, in press
  
  
• A Negative Answer to a Question about Leading Terms Ideals of Polynomial Ideals.
  with Emmanuel Pola
  Journal of Pure and Applied Algebra 216 , (2012), 2432-2435.
  
  
• On the leading terms ideals of polynomial ideals over a valuation ring.
  with Samiha Monceur
  Journal of Algebra 351 , (2012), 382-389.
  
  
• Stably free modules over R[X] of rank > dim R are free.
  Mathematics of computation 80 (2011) 1093-1098
  
  
• Corrigendum to Dynamical Gröbner bases over Dedekind rings.
  Journal of Algebra (in press)
  
  
• A solution to the Gröbner ring conjecture in one variable.
  with Henri Lombardi and Peter Schuster
  Math Zeitschrift DOI: 10.1007/s00209-011-0847-1
  abstract
  
  
• Dynamical Gröbner bases over Dedekind rings.
  with Amina Hadj Kacem
  Journal of Algebra 324 (2010) 12-24
  
  
• An algorithm for unimodular completion over Laurent polynomial rings.
  with Morou Amidou
  Linear Algebra and its Applications 429 , (2008), 1687-1698.
  
  
• An algorithm for unimodular completion over Noetherian rings. .
  with Abdessalem Mnif
  J. Algebra 316 , (2007), 483-498.
  
  
• Projective modules over polynomial rings : a constructive approach.
  with Sami Barhoumi and Henri Lombardi
  Math. Nach 282 , (2009), 792-799. abstract
  
  
• The Hermite ring conjecture in dimension one. J. Algebra 320 , (2008), 437-441.
  
  
• A dynamical comparison between the rings R(X) and R<X>.
  with Afef Ellouz and Henri Lombardi
  J. Algebra 320 , (2008), 521-533. abstract
  
  
• Computing a Gröbner basis of a polynomial ideal over a principal domain
  preprint 2005.
  
  
• Making the use of maximal ideals constructive
  Theoret. Comput. Sci. 392 , (2008), 174-178.
  
  
• Hidden constructions in abstract algebra (6). The theorem of Maroscia, Brewer and Costa.
  with Henri Lombardi and Claude Quitté
  J. Pure Appl. Algebra 212 , (2008), 1575-1582. abstract
  
  
• A dynamical solution to Kronecker's problem
  Dagstuhl Seminar Proceedings 05021 Mathematics, Algorithms, Proofs (January 2005), T. Coquand, H. Lombardi, M. Roy (Eds.)
  Available on line here
  
  
• Dynamical Gröbner bases
  J. Algebra 301 , (2006), 447-458.
  
  
• Suslin's algorithms for reduction of unimodular rows. fichier pdf
  with Henri Lombardi abstract
  Journal of Symbolic Computation 39 (2005), 707-717.
  
  
• An algorithm for the divisors of monic polynomials over a commutative ring
  Math. Nachr. 260 , (2003), 1-7. abstract