| 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 | 377 | 1995 |
| 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 | 210 | 2009 |
| Etude et implantation de quelques algorithmes en algebre différentielle F Boulier Université des Sciences et Technologie de Lille-Lille I, 1994 | 73 | 1994 |
| Differential elimination and biological modelling F Boulier Gröbner bases in symbolic analysis 2, 109-137, 2007 | 63 | 2007 |
| Well known theorems on triangular systems and the D5 principle F Boulier, F Lemaire, MM Maza Transgressive Computing 2006, 79-91, 2006 | 62 | 2006 |
| Computing canonical representatives of regular differential ideals F Boulier, F Lemaire Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000 | 61 | 2000 |
| Pardi! F Boulier, F Lemaire, MM Maza Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 47 | 2001 |
| 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 | 42 | 2014 |
| Computing differential characteristic sets by change of ordering F Boulier, F Lemaire, MM Maza Journal of Symbolic Computation 45 (1), 124-149, 2010 | 42 | 2010 |
| 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 | 38 | 2007 |
| 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 | 35 | 2008 |
| ISSAC D Wang, B Mourrain, SA Abramov, F Boulier, C D'Andrea, F Chen, ... | 25 | 2004 |
| Efficient computation of regular differential systems by change of rankings using Kähler differentials F Boulier MEGA 2000, 2000 | 24 | 2000 |
| Model reduction of chemical reaction systems using elimination F Boulier, M Lefranc, F Lemaire, PE Morant Mathematics in Computer Science 5, 289-301, 2011 | 21 | 2011 |
| 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 | 19 | 2009 |
| Differential algebra and system modeling in cellular biology F Boulier, F Lemaire Algebraic Biology: Third International Conference, AB 2008, Castle of …, 2008 | 19 | 2008 |
| 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 | 18 | 2020 |
| 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 | 18 | 2016 |
| The BLAD libraries F Boulier | 18 | 2004 |
| On symbolic approaches to integro-differential equations F Boulier, F Lemaire, M Rosenkranz, R Ushirobira, N Verdière Algebraic and Symbolic Computation Methods in Dynamical Systems, 161-182, 2020 | 17 | 2020 |
