scientific article; zbMATH DE number 4160161

zbMATH Open0706.68084MaRDI QIDQ3486876FDOQ3486876

Authors Alfredo Ferro, Giovanni Gallo

Publication date 1988

zbMATH Keywords

Buchberger's algorithmgeometry theorem provingnon-resolution theorem provingcomputing the dimensions of the hypothesis varietyGröbner bases calculationmembership problem for the radical of an ideal of polynomialsverification of a single polynomial identity

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Elementary problems in Euclidean geometries (51M04) Algebraization in linear incidence geometry (51A25)

Cited in

(14)

• scientific article; zbMATH DE number 3926284 (Why is no real title available?)
• Automated deduction and knowledge management in geometry
• Automatted geometry theorem proving
• Computational Science and Its Applications – ICCSA 2004
• scientific article; zbMATH DE number 1421053 (Why is no real title available?)
• scientific article; zbMATH DE number 1745042 (Why is no real title available?)
• Automated reasoning about elementary point-set topology
• A deductive database approach to automated geometry theorem proving and discovering
• Euclidean geometry in terms of automata theory
• scientific article; zbMATH DE number 2155188 (Why is no real title available?)
• scientific article; zbMATH DE number 1189068 (Why is no real title available?)
• scientific article; zbMATH DE number 6984221 (Why is no real title available?)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• scientific article; zbMATH DE number 5733428 (Why is no real title available?)

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 Q3486876)