Applying Quantifier Elimination to the Birkhoff interpolation problem

Journal of Symbolic Computation

Volumn 22, Issue 1, 1996, Pages 83-103

  Gonzalez Vega, Laureano ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030187752     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0042     Document Type: Article

References (14)

1. Ben-Or, M., Kozen D., Reif, J. (1986). The complexity of elementary algebra and geometry. J. Computation and Systems Sciences 32:251-264.
2. Bojanov, B.D., Hakopian, H.A., Sahakian, A.A. (1993). Spline Functions and Multivariate Interpolations. Series Mathematics and Its Applications, vol. 248, Kluwer.
3. Basu, S., Pollack, R., Roy, M.-F. (1996). A new algorithm to find a point in every cell defined by a family of polynomials. Special volume of the series Texts and Monographs in Symbolic Computation (Springer-Verlag) entitled Quantifier Elimination and Cylindrical Algebraic Decomposition, eds Caviness, B. and Johnson, J.
4. Cucker, F., Gonzalez-Vega, L., Rosello, F. (1991). On algorithms for real algebraic plane curves. In: Effective Methods in Algebraic Geometry, Mora, T. and Traverso, C. (eds) Progress in Mathematics, vol. 94, 63-88, Birkhauser.
5. Coste, M., Roy, M.-F. (1988). Thom's Lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets. J. Symbolic Computation 5:121-129.
6. Gonzalez-Vega, L., Lombardi, H., Recio T., Roy, M.-F. (1989). Sturm-Habicht Sequence. ISSAC-89 Proceedings (Portland), 136-146, ACM-Press.
7. Gonzalez-Vega, L., Lombardi, H., Recio, T., Roy, M.-F. (1990, 1994) Specialisation de la suite de Sturm et sous-resultants. (I): Informatique Theorique et Applications 24(6):561-588. (II): Informatique Theorique et Applications 28(1):1-24.
8. Gonzalez-Vega, L., Lombardi, H., Recio, T., Roy, M.-F. (1990, 1994) Specialisation de la suite de Sturm et sous-resultants. (I): Informatique Theorique et Applications 24(6):561-588. (II): Informatique Theorique et Applications 28(1):1-24.
9. Gonzalez-Vega, L., Lombardi, H., Recio, T., Roy, M.-F. (1996). Sturm-Habicht sequence, determinants and real roots of univariate polynomials. Special volume of the series Texts and Monographs in Symbolic Computation (Springer-Verlag) entitled Quantifier Elimination and Cylindrical Algebraic Decomposition eds Caviness, B. and Johnson, J.
10. Gonzalez-Vega, L. (1994). Automatic Generation, of Interpolatory Polynomials related to The Birkhoff Interpolation Problem. Preprint.
11. Heintz, J., Roy, M.-F., Solerno, P. (1990). Sur la complexité du Principe de Tarski-Seidenberg. Bulletin de la Societe Mathematique de France 118:101-126.
12. Heintz, J., Roy, M.-F., Solerno, P. (1993). On the theoretical and practical complexity of the existential theory of the reals. The Computer Journal 36(5):427-431.
13. Roy, M.-F., Szpirglas, A. (1990). Complexity of computation on real algebraic numbers. J. Symbolic Computation 10:39-51.
14. Sendov, B., Andreev, A. (1994). Approximation and Interpolation Theory. In: Handbook of Numerical Analysis, Volume III, Ciarlet, P.G., Lions, J.L. (eds), pp. 229-300, North-Holland.