A rank theorem for Vandermonde matrices

Linear Algebra and Its Applications

Volumn 378, Issue 1-3, 2004, Pages 99-107

  Koiran, Pascal ^a   Portier, Natacha ^a   Villard, Gilles ^a  

^a UNIV LYON   (France)

Author keywords

Linear recurring sequences; Model theory of fields; Vandermonde matrices

Indexed keywords

MATHEMATICAL MODELS; NUMERICAL ANALYSIS; POLYNOMIALS; PROBLEM SOLVING; SET THEORY; THEOREM PROVING;

LINEAR RECURRING SEQUENCES; VANDERMONDE MATRICES;

MATRIX ALGEBRA;

EID: 0348146419     PISSN: 00243795     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.laa.2003.09.007     Document Type: Article

References (7)

1. Chapuis O., Hrushovski E., Koiran P., Poizat B. La limite des théories de courbes génériques. J. Symbolic Logic. 67(1):2002;24-34.
2. P. Koiran, The limit theory of generic polynomials, LIP Research Report 2001-35, Ecole Normale Supérieure de Lyon, in: Proc. Logic Colloquium 2001, in press.
3. Koiran P. The theory of Liouville functions. J. Symbolic Logic. 68(2):2003;353-365.
4. Koiran P., Portier N. Back-and-forth systems for generic curves and a decision algorithm for the limit theory. Ann. Pure Appl. Logic. 111:2001;257-275.
5. P. Koiran, N. Portier, G. Villard, A rank theorem for Vandermonde matrices, LIP Research Report 2001-34, Ecole Normale Supérieure de Lyon, 2001.
6. Massey J.L. Shift-register synthesis and BCH decoding. IEEE Trans. Inform. Theory. 15(1):1969;122-127.
7. Sontag E.D. Mathematical control theory: deterministic finite dimensional systems. Texts in Applied Mathematics. 1990;Springer-Verlag, New York.