Woo, Alexander; Yong, Alexander Tropicalization, symmetric polynomials, and complexity. (English) Zbl 1446.14041 J. Symb. Comput. 99, 242-249 (2020). MSC: 14T10 14Q20 PDFBibTeX XMLCite \textit{A. Woo} and \textit{A. Yong}, J. Symb. Comput. 99, 242--249 (2020; Zbl 1446.14041) Full Text: DOI arXiv
Baines, Rosemary; Vámos, Peter An algorithm to compute the set of characteristics of a system of polynomial equations over the integers. (English) Zbl 1058.13015 J. Symb. Comput. 35, No. 3, 269-279 (2003). Reviewer: Mihai Cipu (Bucureşti) MSC: 13P10 13-04 11Y05 13F20 PDFBibTeX XMLCite \textit{R. Baines} and \textit{P. Vámos}, J. Symb. Comput. 35, No. 3, 269--279 (2003; Zbl 1058.13015) Full Text: DOI
Dershowitz, Nachum Termination of rewriting. (English) Zbl 0637.68035 J. Symb. Comput. 3, 69-115 (1987). MSC: 68Q65 68W30 PDFBibTeX XMLCite \textit{N. Dershowitz}, J. Symb. Comput. 3, 69--115 (1987; Zbl 0637.68035) Full Text: DOI