Optimization Techniques for Symbolic Equation Solver in Engineering Applications.

H. Q. Tan, X. Dong

Browse the full ISSAC paper archive.