No label defined (Q5718720)
From MaRDI portal
scientific article; zbMATH DE number 2247478
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2247478 |
Statements
16 January 2006
0 references
numerical examples
0 references
problem solving
0 references
theorem proving
0 references
theorem discovering
0 references
semi-algebraic system solving
0 references
semi-algebraic system
0 references
polynomial equations
0 references
polynomial inequations
0 references
polynomial inequalities
0 references
integer coefficients
0 references
algorithms
0 references
package
0 references
Maple programs
0 references
