Mathématiques
Concepts mathématiques, théories, énigmes et applications
-
Mathématiques
Les 'Éléments' d'Euclide ont façonné la géométrie pendant des millénaires
-
Mathématiques
Le théorème de Pythagore révèle d'anciens secrets
-
Mathématiques
Les nombres premiers protègent vos secrets en ligne
-
Mathématiques
La vérité est indéfinissable dans les langages formels
-
Mathématiques
Isabelle/HOL : les ordinateurs prouvent que les maths sont correctes
-
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
Autres catégories
Catégories →