A recursive algorithm for constructing complicated Dixon matrices (Q606826)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A recursive algorithm for constructing complicated Dixon matrices |
scientific article |
Statements
A recursive algorithm for constructing complicated Dixon matrices (English)
0 references
18 November 2010
0 references
Dixon polynomial
0 references
Dixon matrix
0 references
quantifier elimination
0 references
formal power series
0 references
numerical examples
0 references
system of polynomial equations
0 references
recursive algorithm
0 references
dynamic programming algorithm
0 references
