Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.68673OpenAlexW2480281325MaRDI QIDQ5898527FDOQ5898527

Authors: Christoph Schwarzweller 

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11618027

Recommendations

• Gröbner bases and systems theory
• The theory of Gröbner bases
• Some applications of Gröbner bases in multidimensional system theory
• Groebner bases in Theorema
• Gröbner bases and systems of algebraic equations
• scientific article; zbMATH DE number 1163417
• Gröbner bases and invariant theory
• scientific article; zbMATH DE number 4112737
• scientific article; zbMATH DE number 4132299
• scientific article; zbMATH DE number 1263375

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) Grammars and rewriting systems (68Q42)

Cited In (8)

• A generic and executable formalization of signature-based Gröbner basis algorithms
• Mathematical theory exploration in Theorema: reduction rings
• Commutative algebra in the Mizar system
• Mathematical Knowledge Management
• Interfacing external CA systems for Gröbner bases computation in Mizar proof checking
• A verified common lisp implementation of Buchberger's algorithm in ACL2
• Context Aware Calculation and Deduction
• Defining power series and polynomials in Mizar

Uses Software

• Mizar

This page was built for publication: Mathematical Knowledge Management

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