assistant de preuve

concept logiciel permettant l'écriture et la vérification de preuves mathématiques

Aussi : logiciel d'aide à la démonstration

Nature : type de logiciel

Catégories : logiciels · informatique et technologie · concepts abstraits

Mots du lexique : assistant nom commun, Preuve nom propre