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é
Théorème de dérivation sous le signe intégral