François Boulier
François Boulier
Université de Lille, Centre de Recherches en Informatique, Signal et Automatique de Lille (CRIStAL)
Verified email at univ-lille.fr - Homepage
Title
Cited by
Cited by
Year
Representation for the radical of a finitely generated differential ideal
F Boulier, D Lazard, F Ollivier, M Petitot
Proceedings of the 1995 international symposium on Symbolic and algebraic …, 1995
3421995
Computing representations for radicals of finitely generated differential ideals
F Boulier, D Lazard, F Ollivier, M Petitot
Applicable Algebra in Engineering, Communication and Computing 20 (1), 73, 2009
1652009
Etude et implantation de quelques algorithmes en algebre différentielle
F Boulier
Université des Sciences et Technologie de Lille-Lille I, 1994
721994
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
Transgressive Computing 2006, 79-91, 2006
542006
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
542000
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
442001
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
362010
On proving the absence of oscillations in models of genetic circuits
F Boulier, M Lefranc, F Lemaire, PE Morant, A Ürgüplü
International Conference on Algebraic Biology, 66-80, 2007
342007
Real root isolation of regular chains
F Boulier, C Chen, F Lemaire, MM Maza
Computer Mathematics, 33-48, 2014
322014
Differential elimination and biological modelling
F Boulier
Workshop D2. 2 of the Special Semester on Gröbner Bases and Related Methods …, 2006
312006
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits
F Boulier, M Lefranc, F Lemaire, PE Morant
International Conference on Algebraic Biology, 56-64, 2008
282008
Model reduction of chemical reaction systems using elimination
F Boulier, M Lefranc, F Lemaire, PE Morant
Mathematics in Computer Science 5 (3), 289-301, 2011
242011
Efficient computation of regular differential systems by change of rankings using Kähler differentials
F Boulier
MEGA 2000, 2000
222000
Differential elimination and biological modelling
F Boulier
Gröbner bases in symbolic analysis 2, 109-137, 2007
192007
Computing representations for radicals of finitely generated differential ideals
F Boulier, D Lazard, F Ollivier, M Petitot
191999
The BLAD libraries
F Boulier
182004
Differential algebra and system modeling in cellular biology
F Boulier, F Lemaire
International Conference on Algebraic Biology, 22-39, 2008
162008
Towards an automated reduction method for polynomial ODE models of biochemical reaction systems
F Boulier, F Lemaire, A Sedoglavic, A Ürgüplü
Mathematics in Computer Science 2 (3), 443-464, 2009
152009
An algorithm for converting nonlinear differential equations to integral equations with an application to parameter estimation from noisy data
F Boulier, A Korporal, F Lemaire, W Perruquetti, A Poteaux, R Ushirobira
International Workshop on Computer Algebra in Scientific Computing, 28-43, 2014
142014
Systemes polynomiaux: que signifie “résoudre”
F Boulier
Lecture Notes, Université Lille 1 (8), 2007
142007
The system can't perform the operation now. Try again later.
Articles 1–20