01:01:18
published on December 15, 2025
Some remarks about machine learning and (un)natural proving
By Josef Urban
Appears in collection : Cours Sorbonne Université
Début -> 20'50'' : suites extraites 25'20'' -> 43'35'' : opérations sur les fonctions continues 47'20'' -> Fin : Théorème des accroissements finis à plusieurs variables