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 | 356 | 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 | 188 | 2009 |

Etude et implantation de quelques algorithmes en algebre différentielle F Boulier Université des Sciences et Technologie de Lille-Lille I, 1994 | 70 | 1994 |

Well known theorems on triangular systems and the D5 principle F Boulier, F Lemaire, MM Maza Transgressive Computing 2006, 79-91, 2006 | 56 | 2006 |

Computing canonical representatives of regular differential ideals F Boulier, F Lemaire Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000 | 56 | 2000 |

Pardi! F Boulier, F Lemaire, MM Maza Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 45 | 2001 |

Computing differential characteristic sets by change of ordering F Boulier, F Lemaire, MM Maza Journal of Symbolic Computation 45 (1), 124-149, 2010 | 38 | 2010 |

Real root isolation of regular chains F Boulier, C Chen, F Lemaire, M Moreno Maza Computer Mathematics, 33-48, 2014 | 35 | 2014 |

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 | 34 | 2007 |

Differential elimination and biological modelling F Boulier Workshop D2. 2 of the Special Semester on Gröbner Bases and Related Methods …, 2006 | 33 | 2006 |

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 | 30 | 2008 |

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 | 29 | 2011 |

Efficient computation of regular differential systems by change of rankings using Kähler differentials F Boulier MEGA 2000, 2000 | 23 | 2000 |

Differential elimination and biological modelling F Boulier Gröbner bases in symbolic analysis 2, 109-137, 2007 | 19 | 2007 |

The BLAD libraries F Boulier | 19 | 2004 |

Computing representations for radicals of finitely generated differential ideals F Boulier, D Lazard, F Ollivier, M Petitot | 19 | 1999 |

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 | 18 | 2009 |

Differential algebra and system modeling in cellular biology F Boulier, F Lemaire International Conference on Algebraic Biology, 22-39, 2008 | 18 | 2008 |

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 | 16 | 2016 |