Conde, Antônio; Mendes, Mirian Percia An algebraic problem and the software Maple. (English) Zbl 1027.13015 Int. J. Appl. Math. 6, No. 2, 129-140 (2001). Summary: The purpose of this note is to show how we managed to answer an algebraic question that researchers have put for years: namely, if a polynomial in the polynomial ring in several variables belongs to an ideal of this ring. Using the software Maple V, Release 4, we present an algorithm that decides whether a particular polynomial belongs to a particular ideal of the mentioned polynomial ring. A brief introduction describes how our specific algebraic problem has appeared and then it is presented together with the notation used. Cited in 1 Document MSC: 13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) Keywords:polynomial ring; membership problem; Gröbner bases; Maple Software:Maple PDFBibTeX XMLCite \textit{A. Conde} and \textit{M. P. Mendes}, Int. J. Appl. Math. 6, No. 2, 129--140 (2001; Zbl 1027.13015)