scientific article; zbMATH DE number 915924

MaRDI QIDQ4889407zbMATH OpenFDO

Authors Doina Tatar

Publication date 22 October 1996

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)

Recommendations

• scientific article; zbMATH DE number 782043
• scientific article; zbMATH DE number 3856444
• On the application of Buchberger's algorithm to automated geometry theorem proving
• scientific article; zbMATH DE number 1354109
• An algorithmic proof of a generalization of the birkhoff-von neumann theorem
• Complexity analysis of the bivariate Buchberger algorithm in Theorema
• A machine-checked implementation of Buchberger's algorithm
• scientific article; zbMATH DE number 4213954
• Proof search algorithm in pure logical framework
• scientific article; zbMATH DE number 177867

Cited in

(4)

• scientific article; zbMATH DE number 1303350 (Why is no real title available?)
• On the application of Buchberger's algorithm to automated geometry theorem proving
• scientific article; zbMATH DE number 782043 (Why is no real title available?)
• A short proof of an algorithm by Boehm

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)