Mathématiques
Concepts mathématiques, théories, énigmes et applications
-
Mathématiques
Les ordinateurs peuvent prouver des théorèmes mathématiques avec une précision parfaite
-
Mathématiques
Abella prouve les règles cachées de la programmation logique
-
Mathématiques
Le moteur de Lean automatise les preuves mathématiques complexes
-
Mathématiques
NuPRL transforme les preuves mathématiques en programmes parfaits
-
Mathématiques
Un petit modèle peut-il comprendre les ensembles infinis ?
-
Mathématiques
Les ordinateurs vérifient maintenant les erreurs mathématiques
-
Mathématiques
Le code et la logique sont les deux faces d'une même pièce
-
Mathématiques
Twelf analyse les outils qui vérifient les mathématiques
-
Mathématiques
Cette logique rejette la loi du tiers exclu
-
Mathématiques
Matita aide les ordinateurs à vérifier les preuves mathématiques
-
Mathématiques
Une preuve mathématique qui a ébranlé les fondations
-
Mathématiques
La constante de Chaitin révèle le cœur aléatoire du calcul
-
Mathématiques
Le lemme de Zorn aide à trouver des chaînes maximales
-
Mathématiques
Les mondes cachés des maths : au-delà des nombres standards
-
Mathématiques
Les symétries dans la nature créent des lois de conservation
Autres catégories
Catégories →