Subject
Computational Mathematics,Algebra and Number Theory
Reference34 articles.
1. An Introduction to Gröbner Bases;Adams,1994
2. The F5 criterion revised;Alberto;J. Symb. Comput.,2011
3. Gröbner bases;Becker,1993
4. The diamond lemma for ring theory;Bergman;Adv. Math.,1978
5. Gröbner basis techniques in the computation of two-sided syzygies;Bluhm,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Short proofs of ideal membership;Journal of Symbolic Computation;2024-11
2. Axioms for a theory of signature bases;Journal of Symbolic Computation;2024-07
3. Signature Gröbner bases in free algebras over rings;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24
4. Short Proofs of Ideal Membership;2023
5. How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study;Computer Algebra in Scientific Computing;2023