Survey of what DynIbex can do for you
In: https://hal.archives-ouvertes.fr/hal-01927784 ; 2018, 2018
Online
report
Zugriff:
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.
Titel: |
Survey of what DynIbex can do for you
|
---|---|
Autor/in / Beteiligte Person: | Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre ; Mullier, Olivier ; Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) ; École Nationale Supérieure de Techniques Avancées (ENSTA Paris) ; Sûreté et Fiabilité des Logiciels (SFL) ; École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris) |
Link: | |
Zeitschrift: | https://hal.archives-ouvertes.fr/hal-01927784 ; 2018, 2018 |
Veröffentlichung: | HAL CCSD, 2018 |
Medientyp: | report |
Schlagwort: |
|
Sonstiges: |
|