Chun Wai Liew, Donald E. Smith. Checking for Dimensional Correctness in Physics Equations. In Susan M. Haller, Gene Simmons, editors, Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA. pages 299-303, AAAI Press, 2002.
Abstract is missing.