Séminaire Marelle : Formal verification of exact computation using Newton’s method

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