关注
François Boulier
François Boulier
Université de Lille, Centre de Recherches en Informatique, Signal et Automatique de Lille (CRIStAL)
在 univ-lille.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
3781995
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
2012009
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
Differential elimination and biological modelling
F Boulier
Gröbner bases in symbolic analysis 2, 109-137, 2007
602007
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
602000
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
472001
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
402014
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
372007
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
352008
ISSAC
D Wang, B Mourrain, SA Abramov, F Boulier, C D'Andrea, F Chen, ...
252004
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
202011
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
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
172020
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
172016
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
17
系统目前无法执行此操作,请稍后再试。
文章 1–20