27 août 2014

1 message - Retourner à l'article
  • Un ordinateur pour vérifier les preuves mathématiques

    le 29 janvier 2019 à 14:50, par Pierre Lescanne

    L’article décrivant la démonstration formelle et vérifiée de la conjecture de Kepler a été publié dans ArXiV en 2015 par ses 22 auteurs

    A formal proof of the Kepler conjecture

    et peut intéresser les lecteurs.
    Pierre

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.