scientific article
From MaRDI portal
Publication:3135176
zbMath0798.13013MaRDI QIDQ3135176
Publication date: 30 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
eliminationsolving systems of polynomial equationsHilbert's Nullstellensatzmechanical theorem provingdecomposition of algebraic varieties
Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to systems of equations (65H10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials in general fields (irreducibility, etc.) (12E05) Polynomials, factorization in commutative rings (13P05) Computational aspects in algebraic geometry (14Q99)
Related Items (2)
Elimination procedures for mechanical theorem proving in geometry ⋮ Triangular sets for solving polynomial systems: a comparative implementation of four methods
This page was built for publication:
