TY - RPRT TI - Computing with impure numbers - Automatic consistency checking and units conversion using computer algebra AU - Stoutemyer, D. R. PY - 1977 UR - https://ntrs.nasa.gov/citations/19780031394 ID - 19780031394 ER -