Groebner bases in Theorema

DOI10.1007/978-3-662-44199-2_58MaRDI QIDQ2879150zbMATH OpenOpenAlexFDO

Authors 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

Buchberger algorithmGroebner basismathematical theory explorationTheorema

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Research data for problems pertaining to commutative algebra (13-11) 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) Symbolic computation and algebraic computation (68W30)

Recommendations

• Theorem proving for and with Gröbner bases theory
• Mathematical theory exploration in Theorema: reduction rings
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Introduction to Groebner bases
• Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Cited in

(11)

• Theorema
• Theorem proving for and with Gröbner bases theory
• Mathematical theory exploration in Theorema: reduction rings
• Complexity analysis of the bivariate Buchberger algorithm in Theorema
• scientific article; zbMATH DE number 2177625 (Why is no real title available?)
• Automated reasoning in reduction rings using the Theorema system
• scientific article; zbMATH DE number 125105 (Why is no real title available?)
• Computer Algebra in Scientific Computing
• Interfacing external CA systems for Gröbner bases computation in Mizar proof checking
• Mathematical Knowledge Management
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

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

This page was built for publication: Groebner bases in Theorema

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879150)