Qualitative reasoning, dimensional analysis and computer algebra
Authors:
W. L. Roque;R. P. Dos Santos
Affiliations:
Research Institute for Symbolic Computation - RISC, Johannes Kepler University, A4040 Linz, Austria;Research Institute for Symbolic Computation - RISC, Johannes Kepler University, A4040 Linz, Austria
Venue:
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation