Symbolic Derivation of Equations for Mixed Formulation in Finite Element Analysis. - H. Q. Tan (Computers and Mathematics, 1989)

Optimization Techniques for Symbolic Equation Solver in Engineering Applications. - H. Q. Tan; X. Dong (ISSAC, 1990)