No label defined (Q3838770)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
13 August 1998
0 references
research survey
0 references
geometry theorem proving
0 references
refutational approach
0 references
Gröbner bases
0 references
Dixon resultants
0 references
proof-by-example approach
0 references
