Computing with Impure Numbers: Automatic Consistency Checking and Units Conversion Using Computer Algebra
Issue No.06 - November (1977 vol.3)
D.R. Stoutemyer , Department of Electrical Engineering, University of Hawaii
This note shows how computer-algebra systems may be used to include symbolic physical units in computer calculations, with automatic detection of dimensionally-inhomogeneous formulas and automatic conversion of inconsistent units in a dimensionally-homogeneous formula. Inhomogeneity errors are a prevalent type that is undetected in traditional programming languages, and the user is relieved of the tedious, error-prone units-conversion process.
units conversion, Dimensional homogeneity, MACSYMA, programming language design, symbolic algebraic manipulation, units consistency
D.R. Stoutemyer, "Computing with Impure Numbers: Automatic Consistency Checking and Units Conversion Using Computer Algebra", IEEE Transactions on Software Engineering, vol.3, no. 6, pp. 478-480, November 1977, doi:10.1109/TSE.1977.231178