scientific article; zbMATH DE number 4160161

zbMATH Open0706.68084MaRDI QIDQ3486876FDOQ3486876

Authors: Alfredo Ferro, Giovanni Gallo 

Publication date: 1988

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

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)

• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• Computational Science and Its Applications – ICCSA 2004
• Title not available (Why is that?)
• Euclidean geometry in terms of automata theory
• Title not available (Why is that?)
• Automated reasoning about elementary point-set topology
• Automated deduction and knowledge management in geometry
• A deductive database approach to automated geometry theorem proving and discovering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatted geometry theorem proving
• Title not available (Why is that?)
• 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 Q3486876)