Follow
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
3561995
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-121, 2009
1882009
Etude et implantation de quelques algorithmes en algebre différentielle
F Boulier
Université des Sciences et Technologie de Lille-Lille I, 1994
701994
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
Transgressive Computing 2006, 79-91, 2006
562006
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
562000
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
452001
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
382010
Real root isolation of regular chains
F Boulier, C Chen, F Lemaire, M Moreno Maza
Computer Mathematics, 33-48, 2014
352014
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
Differential elimination and biological modelling
F Boulier
Workshop D2. 2 of the Special Semester on Gröbner Bases and Related Methods …, 2006
332006
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
302008
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
292011
Efficient computation of regular differential systems by change of rankings using Kähler differentials
F Boulier
MEGA 2000, 2000
232000
Differential elimination and biological modelling
F Boulier
Gröbner bases in symbolic analysis 2, 109-137, 2007
192007
The BLAD libraries
F Boulier
192004
Computing representations for radicals of finitely generated differential ideals
F Boulier, D Lazard, F Ollivier, M Petitot
191999
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
182009
Differential algebra and system modeling in cellular biology
F Boulier, F Lemaire
International Conference on Algebraic Biology, 22-39, 2008
182008
diffalg: description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998
F Boulier, E Hubert
Now at http://www. inria. fr/cafe/Evelyne. Hubert/diffalg, 0
18
Additive normal forms and integration of differential fractions
F Boulier, F Lemaire, J Lallemand, G Regensburger, M Rosenkranz
Journal of Symbolic Computation 77, 16-38, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20