Widiger, Alfred Solving the word problem for two classes of non-associative rings by rewriting. (English) Zbl 1116.17300 J. Symb. Comput. 32, No. 3, 291-301 (2001). MSC: 17A30 03B35 03D40 68Q42 68T15 PDFBibTeX XMLCite \textit{A. Widiger}, J. Symb. Comput. 32, No. 3, 291--301 (2001; Zbl 1116.17300) Full Text: DOI Link
Ryba, A. J. E. Condensation of symmetrized tensor powers. (English) Zbl 0989.20016 J. Symb. Comput. 32, No. 3, 273-289 (2001). Reviewer: Mohammad-Reza Darafsheh (Tehran) MSC: 20C40 20C20 PDFBibTeX XMLCite \textit{A. J. E. Ryba}, J. Symb. Comput. 32, No. 3, 273--289 (2001; Zbl 0989.20016) Full Text: DOI
Matsumoto, Ryutaroh Computing the radical of an ideal in positive characteristic. (English) Zbl 1028.13010 J. Symb. Comput. 32, No. 3, 263-271 (2001). MSC: 13P10 13A10 13F20 13A35 PDFBibTeX XMLCite \textit{R. Matsumoto}, J. Symb. Comput. 32, No. 3, 263--271 (2001; Zbl 1028.13010) Full Text: DOI
Letzter, Edward S. Constructing irreducible representations of finitely presented algebras. (English) Zbl 0987.16008 J. Symb. Comput. 32, No. 3, 255-262 (2001). MSC: 16G60 16Z05 13P10 68W30 PDFBibTeX XMLCite \textit{E. S. Letzter}, J. Symb. Comput. 32, No. 3, 255--262 (2001; Zbl 0987.16008) Full Text: DOI arXiv
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio Symbolic reachability computation for families of linear vector fields. (English) Zbl 0983.93004 J. Symb. Comput. 32, No. 3, 231-253 (2001). Reviewer: Lars Grüne (Frankfurt) MSC: 93B03 93B40 93C65 03C10 93C15 68W30 93B60 03D80 PDFBibTeX XMLCite \textit{G. Lafferriere} et al., J. Symb. Comput. 32, No. 3, 231--253 (2001; Zbl 0983.93004) Full Text: DOI
Hallouin, Emmanuel Computing local integral closures. (English) Zbl 1030.13011 J. Symb. Comput. 32, No. 3, 211-230 (2001). MSC: 13P99 13B22 16W30 13F30 PDFBibTeX XMLCite \textit{E. Hallouin}, J. Symb. Comput. 32, No. 3, 211--230 (2001; Zbl 1030.13011) Full Text: DOI
Diaz-Toca, Gema M.; Gonzalez-Vega, Laureano Squarefree decomposition of univariate polynomials depending on a parameter. Application to the integration of parametric rational functions. (English) Zbl 1003.12004 J. Symb. Comput. 32, No. 3, 191-209 (2001). Reviewer: Francis John Wright (London) MSC: 12-08 68W30 12D05 13P05 PDFBibTeX XMLCite \textit{G. M. Diaz-Toca} and \textit{L. Gonzalez-Vega}, J. Symb. Comput. 32, No. 3, 191--209 (2001; Zbl 1003.12004) Full Text: DOI
Adleman, Leonard M.; Huang, Ming-Deh Counting points on curves and Abelian varieties over finite fields. (English) Zbl 0986.11039 J. Symb. Comput. 32, No. 3, 171-189 (2001). Reviewer: Amílcar Pacheco (Rio de Janeiro) MSC: 11G20 14G05 11G05 PDFBibTeX XMLCite \textit{L. M. Adleman} and \textit{M.-D. Huang}, J. Symb. Comput. 32, No. 3, 171--189 (2001; Zbl 0986.11039) Full Text: DOI