Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals
From MaRDI portal
Publication:5119927
DOI10.1145/3087604.3087615zbMath1458.12004arXiv1701.06248OpenAlexW2579898839MaRDI QIDQ5119927
Publication date: 9 September 2020
Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.06248
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Difference algebra (12H10)
This page was built for publication: Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals