Imperial College London

entities · 3 notes linked

Related: University Of Nottingham · Machine Learning · AI In Science · Algebraic Geometry · Tim Gowers · Epidemic Modeling · Optimization · Dynamical Systems

Notes

• Formalising mathematics - an introduction — Kevin Buzzard on Lean proof assistant and digitizing mathematics
• How long should a lockdown-relaxation cycle last? — Mathematical optimization of lockdown-relaxation cycle triggers and lengths
• Mathematicians Are Close to Building the Perfect Periodic Table of Shapes — ML used to classify Fano varieties toward a geometric periodic table