François Boulier
university of lille
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by François Boulier.
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
international symposium on symbolic and algebraic computation | 2000
François Boulier; François Lemaire
algebraic biology | 2007
François Boulier; Marc Lefranc; François Lemaire; Pierre-Emmanuel Morant; Asli Ürgüplü
{\mathfrak p}
Asian Symposium on Computer Mathematics | 2014
François Boulier; Changbo Chen; François Lemaire; Marc Moreno Maza
algebraic biology | 2008
François Boulier; Marc Lefranc; François Lemaire; Pierre-Emmanuel Morant
of the differential ideal generated by any such system Σ. The computed representation constitutes a normal simplifier for the equivalence relation modulo
Mathematics in Computer Science | 2011
François Boulier; Marc Lefranc; François Lemaire; Pierre-Emmanuel Morant
Journal of Symbolic Computation | 2010
François Boulier; François Lemaire; Marc Moreno Maza
{\mathfrak p}
Mathematics in Computer Science | 2009
François Boulier; François Lemaire; Alexandre Sedoglavic; Asli Ürgüplü
algebraic biology | 2008
François Boulier; François Lemaire
(it permits to test membership in