Accéder directement au contenu

François Ollivier

3
Documents
Affiliations actuelles
  • 2071
Identifiants chercheurs
Contact

Présentation

Mon travail s'effectue dans le domaine du calcul symbolique et concerne plus particulièrement l'algèbre différentielle effective et ses application en automatique.
My research field is symbolic computation, more precisely effective differential algebra, with applications to control theory.

Domaines de recherche

Calcul formel [cs.SC]

Publications

"boulier"
Image document

Representation for the radical of a finitely generated differential ideal

François Boulier , Daniel Lazard , François Ollivier , Michel Petitot
international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩
Communication dans un congrès hal-00138020v2