No label defined (Q3486876)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 4160161 |
scientific article; zbMATH DE number 4160161
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4160161 |
Statements
1988
0 references
verification of a single polynomial identity
0 references
non-resolution theorem proving
0 references
geometry theorem proving
0 references
membership problem for the radical of an ideal of polynomials
0 references
Gröbner bases calculation
0 references
Buchberger's algorithm
0 references
computing the dimensions of the hypothesis variety
0 references