Lee, Kisun; Li, Nan; Zhi, Lihong Two-step Newton’s method for deflation-one singular zeros of analytic systems. (English) Zbl 1532.65024 J. Symb. Comput. 123, Article ID 102278, 21 p. (2024). MSC: 65H10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bostan, A.; Krick, T.; Szanto, A.; Valdettaro, M. Subresultants of \((x-\alpha)^m\) and \((x-\beta)^n\), Jacobi polynomials and complexity. (English) Zbl 1446.13023 J. Symb. Comput. 101, 330-351 (2020). MSC: 13P15 15B05 33C05 33C45 33F10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Villard, Gilles Kaltofen’s division-free determinant algorithm differentiated for matrix adjoint computation. (English) Zbl 1220.15004 J. Symb. Comput. 46, No. 7, 773-790 (2011). MSC: 15-04 × Cite Format Result Cite Review PDF Full Text: DOI
Kauer, Stefan; Winkler, Jürgen F. H. Mechanical inference of invariants for FOR-loops. (English) Zbl 1208.68147 J. Symb. Comput. 45, No. 11, 1101-1113 (2010). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Visser, Eelco A survey of strategies in rule-based program transformation systems. (English) Zbl 1129.68043 J. Symb. Comput. 40, No. 1, 831-873 (2005). MSC: 68Q55 68Q42 68Q60 68N30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bremner, Murray R. Fast computation of weight multiplicities. (English) Zbl 0639.17001 J. Symb. Comput. 2, 357-362 (1986). Reviewer: A.H.Boers MSC: 17-04 17B20 17B10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Caviness, B. F. Computer algebra: Past and future. (English) Zbl 0636.68033 J. Symb. Comput. 2, 217-236 (1986). MSC: 68W30 68-02 × Cite Format Result Cite Review PDF Full Text: DOI