Kandri-Rody, Abdelilah; Kapur, Deepak Computing a Gröbner basis of a polynomial ideal over a Euclidean domain. (English) Zbl 0658.13016 J. Symb. Comput. 6, No. 1, 37-57 (1988). Reviewer: R.M.Dimitrić MSC: 13F20 13A15 13-04 68W30 13F07 PDFBibTeX XMLCite \textit{A. Kandri-Rody} and \textit{D. Kapur}, J. Symb. Comput. 6, No. 1, 37--57 (1988; Zbl 0658.13016) Full Text: DOI
Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio The automation of syllogistic. I: Syllogistic normal forms. (English) Zbl 0658.03010 J. Symb. Comput. 6, No. 1, 83-98 (1988). Reviewer: L.State MSC: 03B35 03B30 PDFBibTeX XMLCite \textit{D. Cantone} et al., J. Symb. Comput. 6, No. 1, 83--98 (1988; Zbl 0658.03010) Full Text: DOI
Robertson, Edmund F. Tietze transformations with weighted substring search. (English) Zbl 0657.20001 J. Symb. Comput. 6, No. 1, 59-64 (1988). Reviewer: J.Neubüser MSC: 20-04 20F05 PDFBibTeX XMLCite \textit{E. F. Robertson}, J. Symb. Comput. 6, No. 1, 59--64 (1988; Zbl 0657.20001) Full Text: DOI
Michler, Gerhard O. An algorithm for determining the simplicity of a modular group representation. (English) Zbl 0656.20014 J. Symb. Comput. 6, No. 1, 105-111 (1988). Reviewer: W.H.Gustafson MSC: 20C20 16S34 16Rxx 20-04 20C05 PDFBibTeX XMLCite \textit{G. O. Michler}, J. Symb. Comput. 6, No. 1, 105--111 (1988; Zbl 0656.20014) Full Text: DOI
Wrathall, C. The word problem for free partially commutative groups. (English) Zbl 0655.20027 J. Symb. Comput. 6, No. 1, 99-104 (1988). Reviewer: V.Koubek MSC: 20F10 68Q25 68Q45 PDFBibTeX XMLCite \textit{C. Wrathall}, J. Symb. Comput. 6, No. 1, 99--104 (1988; Zbl 0655.20027) Full Text: DOI
Davenport, J. H. Computer algebra applied to itself. (English) Zbl 0651.68043 J. Symb. Comput. 6, No. 1, 127-132 (1988). MSC: 68W30 68Q25 PDFBibTeX XMLCite \textit{J. H. Davenport}, J. Symb. Comput. 6, No. 1, 127--132 (1988; Zbl 0651.68043) Full Text: DOI
Bachmair, Leo; Dershovitz, Nachum Critical pair criteria for completion. (English) Zbl 0651.68030 J. Symb. Comput. 6, No. 1, 1-18 (1988). MSC: 68Q65 68T15 PDFBibTeX XMLCite \textit{L. Bachmair} and \textit{N. Dershovitz}, J. Symb. Comput. 6, No. 1, 1--18 (1988; Zbl 0651.68030) Full Text: DOI
Kapur, Deepak; Musser, David R.; Narendran, Paliath Only prime superpositions need be considered in the Knuth-Bendix completion procedure. (English) Zbl 0651.68029 J. Symb. Comput. 6, No. 1, 19-36 (1988). MSC: 68Q65 68W30 68T15 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 6, No. 1, 19--36 (1988; Zbl 0651.68029) Full Text: DOI
Myers, Thomas J.; Gokhale, Maya B. Parallel scheduling of recursively defined arrays. (English) Zbl 0651.68027 J. Symb. Comput. 6, No. 1, 65-81 (1988). MSC: 68N99 68P05 68N25 90C10 PDFBibTeX XMLCite \textit{T. J. Myers} and \textit{M. B. Gokhale}, J. Symb. Comput. 6, No. 1, 65--81 (1988; Zbl 0651.68027) Full Text: DOI
Dixmier, J.; Lazard, D. Minimum number of fundamental invariants for the binary form of degree 7. (English) Zbl 0651.15029 J. Symb. Comput. 6, No. 1, 113-115 (1988). Reviewer: E.W.Ellers MSC: 15A72 15A63 15-04 11E16 PDFBibTeX XMLCite \textit{J. Dixmier} and \textit{D. Lazard}, J. Symb. Comput. 6, No. 1, 113--115 (1988; Zbl 0651.15029) Full Text: DOI
Ollongren, Alexander On a particular restricted five-body problem. An analysis with computer algebra. (English) Zbl 0647.70015 J. Symb. Comput. 6, No. 1, 117-126 (1988). MSC: 70F15 70K30 70-04 PDFBibTeX XMLCite \textit{A. Ollongren}, J. Symb. Comput. 6, No. 1, 117--126 (1988; Zbl 0647.70015) Full Text: DOI