Algorithmes d'élimination des quantificateurs
Publications de l'Institut de recherche mathématiques de Rennes, Séminaires de mathématiques - science, histoire et société, no. 4 (1985), pp. 173-195. 
@article{PSMIR_1985___4_173_0,
     author = {Paugam, Annette},
     title = {Algorithmes d'\'elimination des quantificateurs},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {173--195},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {4},
     year = {1985},
     zbl = {0594.03016},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1985___4_173_0/}
}
TY  - JOUR
AU  - Paugam, Annette
TI  - Algorithmes d'élimination des quantificateurs
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1985
SP  - 173
EP  - 195
IS  - 4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1985___4_173_0/
LA  - fr
ID  - PSMIR_1985___4_173_0
ER  - 
%0 Journal Article
%A Paugam, Annette
%T Algorithmes d'élimination des quantificateurs
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1985
%P 173-195
%N 4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1985___4_173_0/
%G fr
%F PSMIR_1985___4_173_0
Paugam, Annette. Algorithmes d'élimination des quantificateurs. Publications de l'Institut de recherche mathématiques de Rennes, Séminaires de mathématiques - science, histoire et société, no. 4 (1985), pp. 173-195. http://www.numdam.org/item/PSMIR_1985___4_173_0/

[ACM] D.S. Arnon, G.E. Collins and S. Mc Callum : Cylindrical algebraic decomposition I et II: the basic algorithm, Siam J. Comput., Vol. 13 n° 4, nov. 84, p. 865-889. | MR | Zbl

[A] D.S. Arnon : Towards Mechanical Solution of Kahan ellipse problème I, Computer Algebra, Lectures Notes 162, Springer Verlag 1983. | MR | Zbl

[BCR] J. Bochnak, M. Coste, M.-F. Roy : A paraître.

[BT] W.S. Brown, J.-F. Traub : On Euclid's algorithm and the theory of subresultants, J. Assoc. Comput. Math. 18, 4 (1971), p. 505-514. | MR | Zbl

[C] G.E. Collins : Quantifier elimination for real closed fields a guide to the literature, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). | MR | Zbl

[CL] G.E. Collins, R. Loos : Real zeros of polynomials, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). | MR | Zbl

[COS] M. Coste : Ensembles semi-algébriques, Géométrie Algébrique Réelle et Formes quadratiques, Lecture Notes n° 959, Springer Verlag. | Zbl

[H] Hormander : The analysis of linear partiel differential operators, tome 2, Springer Verlag (1983). | Zbl

[J] Jacobson : Basic Algebra I. | Zbl

[Ka] W. Kahan : "Problem # 9 : an ellipse problem", SIGSAM Bulletin of the assoc. Comp. Math. 9, p. 11 (1975).

[Kr] G. Kreisel and J.-L. Krivine : Elements of mathematical logic (model theory) North. Holland Amsterdam (1967). | MR | Zbl

[Lau] M. Lauer : "A solution to Kahan's problem (SIGSAM problem n° 9) "SIGSAM Bulletin of the Ass. Com. Math. 11, p. 16-20 (1977). | Zbl

[Laz] D. Lazard : Solution au problème de Kahan. (non publié)

[Lo1] R. Loos : Generalized polynomial remander sequences, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). | MR | Zbl

[Lo2] R. Loos : Computing in algebraic extensions, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). | MR | Zbl

[M] M. Mignotte : Solution au problème de Kahan. (non publié)

[S] A. Seidenberg : A new decision method for elementary algebra Ann of Math. 60, 365-374 (1954). | MR | Zbl