La Vérité et la Machine
Abstract
En quelques pages nous présentons des avancées récentes où l'ordinateur permet d'établir des vérités mathématiques.
Origin : Publisher files allowed on an open archive
Loading...