2 search results - page 1 / 1 » Some examples of orthogonal matrix polynomials satisfying od... |
JAT
2008
13 years 4 months ago
2008
It is well known that if a finite order linear differential operator with polynomial coefficients has as eigenfunctions a sequence of orthogonal polynomials with respect to a posi...
TPHOL
2007
IEEE
13 years 10 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...