scientific article; zbMATH DE number 915924

zbMATH Open0852.03005MaRDI QIDQ4889407

Doina Tatar

Publication date: 22 October 1996

Title of this publication is not available (Why is that?)

zbMATH Keywords

computer algebraBuchberger algorithmreduction ringGroebner baseboolean polynomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Mechanization of proofs and logical operations (03B35)

Related Items (3)

A short proof of an algorithm by Boehm ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Proof search algorithm in pure logical framework 👍 👎
• On the application of Buchberger's algorithm to automated geometry theorem proving 👍 👎
• A machine-checked implementation of Buchberger's algorithm 👍 👎
• Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema 👍 👎
• An algorithmic proof of a generalization of the birkhoff-von neumann theorem 👍 👎

This page was built for publication:

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