scientific article; zbMATH DE number 915924

zbMATH Open0852.03005MaRDI QIDQ4889407FDOQ4889407

Authors: Doina Tatar 

Publication date: 22 October 1996

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

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

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)

Cited In (4)

• On the application of Buchberger's algorithm to automated geometry theorem proving
• Title not available (Why is that?)
• A short proof of an algorithm by Boehm
• Title not available (Why is that?)

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)