Lifting canonical algorithms from a ring R to the ring R[x]
- 12 October 1988
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 6 (2-3) , 169-181
- https://doi.org/10.1016/s0747-7171(88)80041-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The Church-Rosser property in computer algebra and special theorem provingACM SIGSAM Bulletin, 1984
- On constructing bases for ideals in polynomial rings over the integersJournal of Number Theory, 1983
- Constructive aspects of Noetherian ringsProceedings of the American Mathematical Society, 1974
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970
- A Canonical Basis for the Ideals of a Polynomial DomainThe American Mathematical Monthly, 1952