Prati
François Boulier
François Boulier
Université de Lille, Centre de Recherches en Informatique, Signal et Automatique de Lille (CRIStAL)
Potvrđena adresa e-pošte na univ-lille.fr - Početna stranica
Naslov
Citirano
Citirano
Godina
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
3661995
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
1982009
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
622006
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
602000
Differential elimination and biological modelling
F Boulier
Gröbner bases in symbolic analysis 2, 109-137, 2007
572007
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
462001
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
412010
Real root isolation of regular chains
F Boulier, C Chen, F Lemaire, M Moreno Maza
Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009 …, 2014
392014
On proving the absence of oscillations in models of genetic circuits
F Boulier, M Lefranc, F Lemaire, PE Morant, A Ürgüplü
Algebraic Biology: Second International Conference, AB 2007, Castle of …, 2007
362007
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
Algebraic Biology: Third International Conference, AB 2008, Castle of …, 2008
342008
ISSAC
D Wang, B Mourrain, SA Abramov, F Boulier, C D'Andrea, F Chen, ...
242004
Efficient computation of regular differential systems by change of rankings using Kähler differentials
F Boulier
MEGA 2000, 2000
242000
Model reduction of chemical reaction systems using elimination
F Boulier, M Lefranc, F Lemaire, PE Morant
Mathematics in Computer Science 5, 289-301, 2011
192011
Differential algebra and system modeling in cellular biology
F Boulier, F Lemaire
Algebraic Biology: Third International Conference, AB 2008, Castle of …, 2008
192008
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, 443-464, 2009
182009
The BLAD libraries
F Boulier
182004
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
The fundamental theorem of tropical partial differential algebraic geometry
S Falkensteiner, C Garay-López, M Haiech, MP Noordman, Z Toghani, ...
Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020
162020
Systemes polynomiaux: que signifie “résoudre”
F Boulier
Université Lille 1, 2007
162007
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20