A mathematical formalization of dimensional analysis (2012)(terrytao.wordpress.com)152 points by dargscisyhp 3 years ago | 49 comments
Mathematical exploration and discovery at scale(terrytao.wordpress.com)253 points by nabla9 11 months ago | 117 comments
AI for math resources, and erdosproblems.com(terrytao.wordpress.com)135 points by nabla9 2 years ago | 28 comments
A tool to verify estimates, II: a flexible proof assistant(terrytao.wordpress.com)55 points by jjgreen 1 year ago | 0 comments
Palomar: A registry of Lean verified mathematics(terrytao.wordpress.com)163 points by matt_d 2 months ago | 37 comments
