Keyword:dimensional analysis

Publications
Analytical Representation of the Degrees of Freedom: Referencing Quantum Cosmology Deep Bhattacharjee, Soumendra Nath Thakur, Priyanka Samal and Onwuka Frederick EasyChair Preprint 11264
Dimensional Analysis Demystified Soumendra Nath Thakur EasyChair Preprint 11182
The Measurement Library: Representing Physical Types in PVS Ashlie B. Hocking and M. Anthony Aiello In:Automated Formal Methods