Publication:3705543
From MaRDI portal
zbMath0582.13002MaRDI QIDQ3705543
Publication date: 1985
Hilbert function; standard bases; computing the form ring of a local ring; localizations of polynomial rings
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
13H05: Regular local rings
Related Items
History and basic features of the critical-pair/completion procedure, La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra