On: A mathematical formalization of dimensional analys...

[cb321]

> even go through the relevant laws of physics

Possibly of interest, as mentioned in Appendix C of https://www.nist.gov/publications/architecture-software-assi... there is a start to this in https://en.wikipedia.org/wiki/ISO/IEC_80000