TY - RPRT TI - FORM Matters: Fast Symbolic Computation under UNIX AU - Michael M. Tung PY - 2004 UR - https://arxiv.org/abs/cs/0409048 ID - cs/0409048 ER -