Cowell, R. G. Application of ordered standard bases to catastrophe theory. (English) Zbl 0751.68030 J. Symb. Comput. 13, No. 1, 101-115 (1992). Reviewer: G.Ishikawa (Sapporo) MSC: 68W30 58K35 × Cite Format Result Cite Review PDF Full Text: DOI
Martin, Ursula; Lai, Michael Some experiments with a completion theorem prover. (English) Zbl 0748.68071 J. Symb. Comput. 13, No. 1, 81-100 (1992). Reviewer: D.Tătar (Cluj) MSC: 68T15 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Mills, R. D. Slope retention techniques for solving boundary-value problems in differential equations. (English) Zbl 0751.65052 J. Symb. Comput. 13, No. 1, 59-80 (1992). Reviewer: M.Gousidou-Koutita (Thessaloniki) MSC: 65L10 65L15 65N40 34B15 35J25 34B05 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Monagan, Michael B. A heuristic irreducibility test for univariate polynomials. (English) Zbl 0748.12010 J. Symb. Comput. 13, No. 1, 47-57 (1992). Reviewer: H.J.Godwin (Egham) MSC: 12Y05 11Y05 11C08 11Y11 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Landau, Susan A note on “Zippel denesting”. (English) Zbl 0767.11061 J. Symb. Comput. 13, No. 1, 41-45 (1992). Reviewer: H.J.Godwin (Egham) MSC: 11Y40 68W30 11R32 11Y16 × Cite Format Result Cite Review PDF Full Text: DOI
Sendra, J. Rafael; Llovet, Juan An extended polynomial GCD algorithm using Hankel matrices. (English) Zbl 0771.15005 J. Symb. Comput. 13, No. 1, 25-39 (1992). Reviewer: A.Kovačec (Coimbra) MSC: 15B57 15A54 68W30 65F30 × Cite Format Result Cite Review PDF Full Text: DOI
Lassez, Jean-Louis; McAloon, Ken A canonical form for generalized linear constraints. (English) Zbl 0745.90046 J. Symb. Comput. 13, No. 1, 1-24 (1992). MSC: 90C05 68W30 × Cite Format Result Cite Review PDF Full Text: DOI