A mathematical formalization of dimensional analysis (2012)terrytao.wordpress.com170 pointsdargscisyhp3 years ago