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 | 378 | 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 | 203 | 2009 |

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

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 |

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

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

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

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 | 40 | 2014 |

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 | 37 | 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 | 20 | 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 BLAD libraries F Boulier | 18 | 2004 |

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

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