Paper

The paper describing the MARS system is given below.

MARS: A Maple/Matlab/C Resultant-based Solver , A. S. Wallack and D. Manocha and I. Z. Emiris (8 pages PostScript, ) 493K, Proc. of ISSAC '98.