Aug 26 2013

Séminaire Marelle : Certified, Efficient and Sharp Univariate Taylor Models in COQ.

Désolé, cet article est seulement disponible en Anglais Américain.