Michel Petitot
university of lille
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Michel Petitot.
international symposium on symbolic and algebraic computation | 1995
François Boulier; Daniel Lazard; François Ollivier; Michel Petitot
We give an algorithm which represents the radical J of a finitely generated differential ideal as an intersection of radical differential ideals. The computed representation provides an algorithm for testing membership in J. This algorithm works over either an ordinary or a partial differential polynomial ring of characteristic zero. It has been programmed. We also give a method to obtain a obtain a characteristic set of J, if the ideal is prime.
Applicable Algebra in Engineering, Communication and Computing | 2009
François Boulier; Daniel Lazard; François Ollivier; Michel Petitot
This paper deals with systems of polynomial differential equations, ordinary or with partial derivatives. The embedding theory is the differential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld–Gröbner, which computes a representation for the radical
Discrete Mathematics | 2000
Hoang Ngoc Minh; Michel Petitot
Discrete Mathematics | 2000
Hoang Ngoc Minh; Michel Petitot; Joris Van Der Hoeven
{\mathfrak p}
international symposium on symbolic and algebraic computation | 2005
Christian Costermans; Jean-Yves Enjalbert; Hoang Ngoc Minh; Michel Petitot
international symposium on symbolic and algebraic computation | 1998
Hoang Ngoc Minh; Michel Petitot; Joris Van Der Hoeven
of the differential ideal generated by any such system Σ. The computed representation constitutes a normal simplifier for the equivalence relation modulo
Journal of Symbolic Computation | 2009
Sylvain Neut; Michel Petitot; Raouf Dridi
algebraic and numeric biology | 2010
Samuel Vidal; Michel Petitot; François Boulier; François Lemaire; Céline Kuttler
{\mathfrak p}
computer algebra in scientific computing | 2011
François Boulier; François Lemaire; Michel Petitot; Alexandre Sedoglavic
Journal of Symbolic Computation | 2009
Raouf Dridi; Michel Petitot
(it permits to test membership in