Liu, Jinwang; Li, Dongmei; Wu, Tao The Smith normal form and reduction of weakly linear matrices. (English) Zbl 1521.15012 J. Symb. Comput. 120, Article ID 102232, 14 p. (2024). MSC: 15A21 PDFBibTeX XMLCite \textit{J. Liu} et al., J. Symb. Comput. 120, Article ID 102232, 14 p. (2024; Zbl 1521.15012) Full Text: DOI
Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Michels, Dominik L. On the algorithmic linearizability of nonlinear ordinary differential equations. (English) Zbl 1454.34063 J. Symb. Comput. 98, 3-22 (2020). MSC: 34C20 34C14 68W30 PDFBibTeX XMLCite \textit{D. A. Lyakhov} et al., J. Symb. Comput. 98, 3--22 (2020; Zbl 1454.34063) Full Text: DOI Link
García, Belén; Llibre, Jaume; Lombardero, Antón; Pérez del Río, Jesús S. An algorithm for providing the normal forms of spatial quasi-homogeneous polynomial differential systems. (English) Zbl 1428.34049 J. Symb. Comput. 95, 1-25 (2019). MSC: 34C20 12H05 12H20 12-08 68W30 PDFBibTeX XMLCite \textit{B. García} et al., J. Symb. Comput. 95, 1--25 (2019; Zbl 1428.34049) Full Text: DOI Link
Gupta, Somit; Sarkar, Soumojit; Storjohann, Arne; Valeriote, Johnny Triangular \(x\)-basis decompositions and derandomization of linear algebra algorithms over \(K[x]\). (English) Zbl 1268.68172 J. Symb. Comput. 47, No. 4, 422-453 (2012). MSC: 68W30 15A15 68Q25 65F30 PDFBibTeX XMLCite \textit{S. Gupta} et al., J. Symb. Comput. 47, No. 4, 422--453 (2012; Zbl 1268.68172) Full Text: DOI
Otto, Friedrich; Sokratova, Olga Reduction relations for monoid semirings. (English) Zbl 1121.68350 J. Symb. Comput. 37, No. 3, 343-376 (2004). MSC: 68Q42 16Y60 68W30 PDFBibTeX XMLCite \textit{F. Otto} and \textit{O. Sokratova}, J. Symb. Comput. 37, No. 3, 343--376 (2004; Zbl 1121.68350) Full Text: DOI
Mulders, T.; Storjohann, A. On lattice reduction for polynomial matrices. (English) Zbl 1028.65038 J. Symb. Comput. 35, No. 4, 377-401 (2003). Reviewer: Hang Tong Lau (St.Laurent/Quebec) MSC: 65F30 15A21 65F40 15A54 15A06 PDFBibTeX XMLCite \textit{T. Mulders} and \textit{A. Storjohann}, J. Symb. Comput. 35, No. 4, 377--401 (2003; Zbl 1028.65038) Full Text: DOI
Chen, Guoting; Della Dora, Jean An algorithm for computing a new normal form for dynamical systems. (English) Zbl 0973.34029 J. Symb. Comput. 29, No. 3, 393-418 (2000). Reviewer: Natalia Medvedeva (Chelyabinsk) MSC: 34C20 34A25 58K50 68W30 37G05 PDFBibTeX XMLCite \textit{G. Chen} and \textit{J. Della Dora}, J. Symb. Comput. 29, No. 3, 393--418 (2000; Zbl 0973.34029) Full Text: DOI Link
Bellia, Marco; Occhiuto, M. Eugenia Lazy linear combinatorial unification. (English) Zbl 0920.03021 J. Symb. Comput. 27, No. 2, 185-206 (1999). MSC: 03B35 68Q42 68T15 68N17 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, J. Symb. Comput. 27, No. 2, 185--206 (1999; Zbl 0920.03021) Full Text: DOI Link
Tran, Quoc-Nam A symbolic-numerical method for finding a real solution of an arbitrary system of nonlinear algebraic equations. (English) Zbl 0921.65044 J. Symb. Comput. 26, No. 6, 739-760 (1998). Reviewer: E.L.Allgower (Fort Collins) MSC: 65H10 68W30 12Y05 26C10 30C15 PDFBibTeX XMLCite \textit{Q.-N. Tran}, J. Symb. Comput. 26, No. 6, 739--760 (1998; Zbl 0921.65044) Full Text: DOI
Nauheim, Raphael Systems of algebraic equations with bad reduction. (English) Zbl 0921.12002 J. Symb. Comput. 25, No. 5, 619-641 (1998). Reviewer: Juan Sabia (Buenos Aires) MSC: 12Y05 12E12 13P10 68W30 65H10 PDFBibTeX XMLCite \textit{R. Nauheim}, J. Symb. Comput. 25, No. 5, 619--641 (1998; Zbl 0921.12002) Full Text: DOI
Salinier, Bruno; Strandh, Robert Efficient simulation of forward-branching systems with constructor systems. (English) Zbl 0869.68061 J. Symb. Comput. 22, No. 4, 381-399 (1996). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Salinier} and \textit{R. Strandh}, J. Symb. Comput. 22, No. 4, 381--399 (1996; Zbl 0869.68061) Full Text: DOI Link
Hartley, David; Tuckey, Philip Gröbner bases in Clifford and Grassmann algebras. (English) Zbl 0852.15019 J. Symb. Comput. 20, No. 2, 197-205 (1995). Reviewer: A.Logar (Trieste) MSC: 15A66 13P10 15A75 68W30 PDFBibTeX XMLCite \textit{D. Hartley} and \textit{P. Tuckey}, J. Symb. Comput. 20, No. 2, 197--205 (1995; Zbl 0852.15019) Full Text: DOI
Plaisted, David A.; Potter, Richard C. Term rewriting: Some experimental results. (English) Zbl 0723.68058 J. Symb. Comput. 11, No. 1-2, 149-180 (1991). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{D. A. Plaisted} and \textit{R. C. Potter}, J. Symb. Comput. 11, No. 1--2, 149--180 (1991; Zbl 0723.68058) Full Text: DOI