Applying quantifier elimination to the Birkhoff interpolation problem

DOI10.1006/jsco.1996.0042zbMath0870.65007OpenAlexW1969286122MaRDI QIDQ677037

Laureano Gonzalez-Vega

Publication date: 28 July 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1996.0042

zbMATH Keywords

quantifier eliminationcomputer algebraBirkhoff interpolation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical interpolation (65D05)

Related Items (7)

Birkhoff Polynomial Basis ⋮ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ The proper interpolation space for multivariate Birkhoff interpolation ⋮ A Review on Multiple Purely Imaginary Spectral Values of Time-Delay Systems ⋮ Characterizing the codimension of zero singularities for time-delay systems. A link with Vandermonde and Birkhoff incidence matrices ⋮ Multiplicity-induced-dominancy for delay-differential equations of retarded type ⋮ Special algorithm for stability analysis of multistable biological regulatory systems

This page was built for publication: Applying quantifier elimination to the Birkhoff interpolation problem