Open AccessFormalisation en Coq des erreurs d'arrondi de méthodes de Runge-Kutta pour les systèmes matriciels
Author(s) -
Florian Faissole
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - humanities , physics , philosophy