Retourner au contenu associé (journal : La recherche en langages de programmation au quotidien)
Posté par Jean-Baptiste Faure le 10 février 2018 à 17:17. En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 1.
Je pense que c'est déjà le cas pour certains mathématiciens. Dans Théorème vivant on voit que Cédric Villani et Clément Mouhot utilisent un outil de calcul formel pour manipuler leurs équations ainsi que Coq pour vérifier leurs démonstrations.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Math
Posté par Jean-Baptiste Faure . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 1.
Je pense que c'est déjà le cas pour certains mathématiciens. Dans Théorème vivant on voit que Cédric Villani et Clément Mouhot utilisent un outil de calcul formel pour manipuler leurs équations ainsi que Coq pour vérifier leurs démonstrations.