Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods

DOI10.1016/S0747-7171(88)80050-6zbMath0667.13007MaRDI QIDQ1117275

S. H. Smith

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

Gröbner basis; polynomial equations over a graded structure

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13-04: Software, source code, etc. for problems pertaining to commutative algebra

13F20: Polynomial rings and ideals; rings of integer-valued polynomials