MARS: Maple/Matlab Resultant-based Solver


Proceedings
International Symposium on Symbolic and Algebraic Computation (ISSAC)
Date