Algorithmes d'élimination des quantificateurs

Annette Paugam

Publications mathématiques et informatique de Rennes (1985)

  • Volume: 4, Issue: 4, page 173-195

How to cite

top

Paugam, Annette. "Algorithmes d'élimination des quantificateurs." Publications mathématiques et informatique de Rennes 4.4 (1985): 173-195. <http://eudml.org/doc/274512>.

@article{Paugam1985,
author = {Paugam, Annette},
journal = {Publications mathématiques et informatique de Rennes},
keywords = {comparison of quantifier elimination algorithms},
language = {fre},
number = {4},
pages = {173-195},
publisher = {Département de Mathématiques et Informatique, Université de Rennes},
title = {Algorithmes d'élimination des quantificateurs},
url = {http://eudml.org/doc/274512},
volume = {4},
year = {1985},
}

TY - JOUR
AU - Paugam, Annette
TI - Algorithmes d'élimination des quantificateurs
JO - Publications mathématiques et informatique de Rennes
PY - 1985
PB - Département de Mathématiques et Informatique, Université de Rennes
VL - 4
IS - 4
SP - 173
EP - 195
LA - fre
KW - comparison of quantifier elimination algorithms
UR - http://eudml.org/doc/274512
ER -

References

top
  1. [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. Zbl0562.14001MR764184
  2. [A] D.S. Arnon : Towards Mechanical Solution of Kahan ellipse problème I, Computer Algebra, Lectures Notes162, Springer Verlag1983. Zbl0553.68031MR774802
  3. [BCR] J. Bochnak, M. Coste, M.-F. Roy : A paraître. 
  4. [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. Zbl0226.65041MR303684
  5. [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). Zbl0495.03016MR728966
  6. [CL] G.E. Collins, R. Loos : Real zeros of polynomials, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). Zbl0533.68038MR728967
  7. [COS] M. Coste : Ensembles semi-algébriques, Géométrie Algébrique Réelle et Formes quadratiques, Lecture Notes n° 959, Springer Verlag. Zbl0498.14012
  8. [H] Hormander : The analysis of linear partiel differential operators, tome 2, Springer Verlag (1983). Zbl0619.35001
  9. [J] Jacobson : Basic Algebra I. Zbl0557.16001
  10. [Ka] W. Kahan : "Problem # 9 : an ellipse problem", SIGSAM Bulletin of the assoc. Comp. Math.9, p. 11 (1975). 
  11. [Kr] G. Kreisel and J.-L. Krivine : Elements of mathematical logic (model theory)North. HollandAmsterdam (1967). Zbl0219.02037MR219380
  12. [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). Zbl0401.51010
  13. [Laz] D. Lazard : Solution au problème de Kahan. (non publié) 
  14. [Lo1] R. Loos : Generalized polynomial remander sequences, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). Zbl0577.13001MR728969
  15. [Lo2] R. Loos : Computing in algebraic extensions, Computer Algebra Symbolic and Algebraic Computation, Springer Verlag (1982-1983). Zbl0576.12001MR728972
  16. [M] M. Mignotte : Solution au problème de Kahan. (non publié) 
  17. [S] A. Seidenberg : A new decision method for elementary algebraAnn of Math.60, 365-374 (1954). Zbl0056.01804MR63994

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.