Applying quantifier elimination to the Birkhoff interpolation problem (Q677037)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applying quantifier elimination to the Birkhoff interpolation problem |
scientific article |
Statements
Applying quantifier elimination to the Birkhoff interpolation problem (English)
0 references
28 July 1997
0 references
The author studies how to use computer algebra and quantifier elimination to solve some particular cases of the Birkhoff interpolation problem. In particular, this problem is completely solved for degrees less than or equal to 3 and any number of nodes and several instances of degree 4 and 5 by computing all the incidence normally poised matrices.
0 references
computer algebra
0 references
quantifier elimination
0 references
Birkhoff interpolation
0 references
