En particular, supongamos que tengo una variedad algebraica afín sobre $\mathbb{R}^n$ descrito por los generadores de un ideal radical $I$ y quiero encontrar (quizás no todos) los puntos de la variedad. En la práctica surgen varias cuestiones importantes:
- ¿hay versiones del algoritmo de Buchberger que funcionen con datos inexactos? Por ejemplo, supongamos que los coeficientes de los polinomios que generan $I$ se conocen sólo con precisión de punto flotante. Algunos CAS tratarán de encontrar soluciones asumiendo que estos coeficientes son exacto . ¿Existen CAS que hagan algo más inteligente (por ejemplo, que den ciertas garantías dado que los coeficientes numéricos son el truncamiento de los coeficientes exactos)?
- ¿un sistema disperso de ecuaciones polinómicas produce una base de Gröbner con elementos dispersos? En otras palabras, si cada polinomio del sistema original tiene un pequeño número de coeficientes distintos de cero en relación con $n$ ¿los elementos de base también tienen esta propiedad?
- ¿qué límites se conocen para el tamaño de una base de Gröbner en función del tamaño y la dispersión del sistema original?
- ¿existen algoritmos más adecuados (que el de Buchberger) si sólo queremos encontrar un solo punto en la variedad? (Supongamos que cualquier punto de este tipo es suficiente.) En términos más generales, ¿qué algoritmos son más adecuados para abordar los tipos de problemas mencionados anteriormente?