Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68673OpenAlexW2480281325MaRDI QIDQ5898527

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

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

Related Items (3)

A generic and executable formalization of signature-based Gröbner basis algorithms ⋮ Mathematical Theory Exploration in Theorema: Reduction Rings ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2

Uses Software

• Mizar

This page was built for publication: Mathematical Knowledge Management