No label defined (Q3486876)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
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
