https://9pdf.info/document/zx5nlkln-analysis-comparison-methods-gröbner-solving-nonlinear-polynomial-characteristic.html