preuve assistée par ordinateur
concept
Aussi : démonstrateur interactif de théorèmes, preuve interactive
Catégories : concepts abstraits
Mots du lexique : Preuve nom propre, assistée nom commun, par nom commun, ordinateur nom commun
concept
Aussi : démonstrateur interactif de théorèmes, preuve interactive
Catégories : concepts abstraits
Mots du lexique : Preuve nom propre, assistée nom commun, par nom commun, ordinateur nom commun