Applying quantifier elimination to the Birkhoff interpolation problem
From MaRDI portal
Publication:677037
DOI10.1006/jsco.1996.0042zbMath0870.65007MaRDI QIDQ677037
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
Related Items
Birkhoff Polynomial Basis, A Review on Multiple Purely Imaginary Spectral Values of Time-Delay Systems, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, 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, The proper interpolation space for multivariate Birkhoff interpolation