Admissible term orderings used in computer algebra systems
From MaRDI portal
Publication:3816970
DOI10.1145/43882.43887zbMath0665.68025OpenAlexW2019072139MaRDI QIDQ3816970
Publication date: 1988
Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/43882.43887
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Polynomial rings and ideals; rings of integer-valued polynomials (13F20)
Related Items (2)
Computing dimension and independent sets for polynomial ideals ⋮ An algorithm for solving parametric linear systems
This page was built for publication: Admissible term orderings used in computer algebra systems