Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898527zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(9)

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

Describes a project that uses

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)