Concepedia

A Groebner bases-based approach to backward reasoning in rule based expert systems

Eugenio Roanes–Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macı́as

Annals of Mathematics and Artificial Intelligence · 2009 · 13 citations · 18 references

DOI

Concepts

References

18

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

, , +9

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

, , +16

Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra

Choice Reviews Online · 1993 · 2.1K citations

, , +17

A new efficient algorithm for computing Gröbner bases (F4)

Jean‐Charles Faugère · Journal of Pure and Applied Algebra · 1999 · 1.1K citations

, , +4

A new efficient algorithm for computing Gröbner bases without reduction to zero ( <i>F</i> <sub>5</sub> )

Jean Charles Faugère · 2002 · 769 citations

, , +7