gptkbp:instanceOf
|
gptkb:mathematical_concept
|
gptkbp:appliesTo
|
multivariate polynomials
polynomial rings
|
gptkbp:basisFor
|
polynomial ideal
|
gptkbp:computes
|
gptkb:Buchberger's_algorithm
gptkb:F4_algorithm
gptkb:F5_algorithm
|
gptkbp:enables
|
symbolic computation
algebraic simplification
algorithmic solution of polynomial equations
automatic theorem proving
|
gptkbp:field
|
gptkb:algebra
gptkb:algebraic_geometry
gptkb:commutative_algebra
computational algebra
|
gptkbp:generalizes
|
gptkb:Euclidean_algorithm
gptkb:Gaussian_elimination
Gaussian elimination for multivariate polynomials
|
gptkbp:hasApplication
|
gptkb:algebraic_statistics
coding theory
computational biology
control theory
cryptography
robotics
|
gptkbp:hasProperty
|
depends on monomial order
finite for polynomial rings over fields
uniqueness for reduced Gröbner basis
|
https://www.w3.org/2000/01/rdf-schema#label
|
Gröbner basis
|
gptkbp:introduced
|
gptkb:Bruno_Buchberger
|
gptkbp:introducedIn
|
1965
|
gptkbp:namedAfter
|
gptkb:Wolfgang_Gröbner
|
gptkbp:relatedTo
|
gptkb:Hilbert's_Nullstellensatz
gptkb:Buchberger's_algorithm
gptkb:Faugère's_F4_algorithm
gptkb:Faugère's_F5_algorithm
gptkb:Macaulay_matrix
gptkb:S-polynomial
primary decomposition
syzygy
computational algebraic geometry
monomial order
polynomial ideal
reduced Gröbner basis
term order
|
gptkbp:usedFor
|
computing dimension of algebraic varieties
elimination theory
ideal membership problem
solving systems of polynomial equations
|
gptkbp:bfsParent
|
gptkb:commutative_algebra
|
gptkbp:bfsLayer
|
5
|