Survey of what DynIbex can do for you - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2018

Survey of what DynIbex can do for you

Résumé

This paper aims at gathering the capabilities of the tool DynIbex, in term of differential equations that can be handled, the facilities for constraint programming with differential equations, and the applications already done by the help of this tool. It collects all of our contributions produced on, or by the help of, DynIbex.
Fichier principal
Vignette du fichier
survey.pdf (110.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01927784 , version 1 (20-11-2018)

Identifiants

  • HAL Id : hal-01927784 , version 1

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Survey of what DynIbex can do for you. 2018. ⟨hal-01927784⟩
120 Consultations
106 Téléchargements

Partager

More