Qualitative Reasoning, Dimensional Analysis and Computer Algebra.

Waldir L. Roque, Renato P. dos Santos

Browse the full ISSAC paper archive.