lundi 19 avril 2010

Prouveurs "automatiques"

http://www.cs.ru.nl/~freek/digimath/bylogic.html
This is an overview of systems implementing "mathematics in the computer"

Aucun commentaire:

Enregistrer un commentaire