Groebner Bases in Theorema

DOI10.1007/978-3-662-44199-2_58zbMath1437.13009OpenAlexW583699068MaRDI QIDQ2879150

Bruno Buchberger, Alexander Maletzky

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_58

zbMATH Keywords

Groebner basisBuchberger algorithmTheoremamathematical theory exploration

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Research data for problems pertaining to commutative algebra (13-11)

Related Items

Theorema

Uses Software

• CoCoA
• Magma
• Maple
• Mathematica
• SageMath
• SINGULAR