Dynamical method in algebra: Effective Nullstellensätze

Annals of Pure and Applied Logic

Volumn 111, Issue 3, 2001, Pages 203-256

  Coste, Michel ^a   Lombardi, Henri ^b   Roy, Marie Françoise ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

^b Supmicrotech ENSMM   (France)

Author keywords

03F65; 06F15; 12J10; 12J15; 18B25; Constructive algebra; Dyamical proof; Positivstellensatz

Indexed keywords

EID: 0007846815     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(01)00026-4     Document Type: Article

References (36)

1. Bastiani A., Ehresmann C. Categories of sketched structures. Cahiers de topologie et geometrie differentielle. 13(2):1972;105-214.
2. J. Bochnak, M. Coste, M.-F. Roy, Géometrie Algébrique Réelle, Springer, Ergeb. M. n 11, 1987.
3. L. Coppey, C. Lair, Leçons de théorie des esquisses (I), Diagramme, vol. 12, Paris, 1984.
4. L. Coppey, C. Lair, Leçons de théorie des esquisses (II), Diagramme, vol. 19, Paris, 1988.
5. Coquand T., Persson H. Valuations and Dedekind's Prague theorem. J. Pure Appl. Algebra. 155:2001;121-129.
6. Della Dora J., Dicrescenzo C., Duval D. About a new method for computing in algebraic number fields. Caviness B.F. EUROCAL '85, Lecture Notes in Computer Science. vol. 204:1985;289-290 Springer, Berlin.
7. Dicrescenzo C., Duval D. Algebraic extensions and algebraic closure in Scratchpad. Gianni P. Symbolic and Algebraic Computation, Lecture Notes in Computer Science. vol. 358:1989;440-446 Springer, Berlin.
8. Duval D. Simultaneous computations in fields of arbitrary characteristic. Kaltofen E., Watt S.M. Computers and Mathematics. 1989;321-326 Springer, Berlin.
9. Duval D., Gonzalez-Vega L. Dynamic evaluation and real closure, Symbolic Computation, New Trends and Developments, Lille. 1993. Math. Comput. Simulation. 42:1996;551-560.
10. D. Duval, J.-C. Reynaud, Esquisses et Calcul (J. Dehornoy, editeur), Annales Universite Caen VII (1989-1990) 15-83.
11. Duval D., Reynaud J.-C. Sketches and computation (Part I) basic definitions and static evaluation. Math. Struct. Comput. Sci. 4:1994;185-238.
12. Duval D., Reynaud J.-C. Sketches and computation (Part II) dynamic evaluation and applications. Math. Struct. Comput. Sci. 4:1994;239-271.
13. Duval D., Senechaud P. Sketches and parametrization. Theoret. Comput. Sci. 123(1):1994;117-130.
14. Ehresmann C. Esquisses et types de structures algébriques. Bull. Inst. Polytechnique Iasi. 14:1968;1-14.
15. Gomez-Diaz T. Examples of using dynamic constructible closure, Symbolic Computation, New Trends and Developments, Lille, 1993. Math. Comput. Simulation. 42:1996;375-383.
16. Joyal A. Théorème de Chevalley-Tarski et remarque sur l'algèbre constructive. Cahiers de Topologie et Géométrie Différentielle. 16:1975;256-258.
17. F.-V. Kuhlmann, H. Lombardi, H. Perdry, Dynamic computations inside the algebraic closure of a valued field, preprint, 2000.
18. H. Lombardi, Théorème effectif des zéros réel et variantes, Publications Mathématiques Besançon, Théorie des Nombres, pp. 88-89. Fascicule 1 (English abridged version: Effective real nullstellensatz and variants. in: T. Mora, C. Traverso Effective Methods in Algebraic Geometry, (Eds.) Birkhauser, 1991. pp. 263-288) Progress in Math. 94.
19. H. Lombardi, Théorème effectif des zéros réel et variantes, Publications Mathématiques Besançon, Théorie des Nombres, pp. 88-89. Fascicule 1 (English abridged version: Effective real nullstellensatz and variants. in: T. Mora, C. Traverso Effective Methods in Algebraic Geometry, (Eds.) Birkhauser, 1991. pp. 263-288) Progress in Math. 94.
20. H. Lombardi, Une borne sur les degrés pour le Théoreme des zéros réel effectif, pp. 323-345. in: M. Coste, L. Mahe, M.-F. Roy, (eds.), Real Algebraic Geometry. Proceedings, Rennes, 1991, Lecture Notes in Mathematics, vol. 1524, Springer, Berlin, 1992.
21. Lombardi H. Relecture constructive de la théorie d'Artin-Schreier. Ann. Pure Appl. Logic. 91:1998;59-92.
22. H. Lombardi, Le contenu constructif d'un principe local- global avec une application à la structure d'un module projectif de type fini, Publications Mathématiques de Besançon, Théorie des nombres, Fascicule 94-95 & 95-96, 1997.
23. H. Lombardi, Dimension de Krull, Nullstellensätze et Évaluation dynamique, preprint 1998.
24. H. Lombardi, Platitude, localisation et anneaux de Prüfer: une approche constructive, preprint, 1999.
25. H. Lombardi, Constructions cachées en algèbre abstraite (1) Relations de dépendance intégrale, preprint, 1999.
26. H. Lombardi, T. Coquand, Hidden constructions in abstract algebra (3) Krull dimension, Going Up, Going Down, ... , preprint 2001.
27. H. Lombardi, C. Quitté, Constructions cachées en algèbre abstraite (2) Théorème de Horrocks, du local au global, preprint, 1999.
28. H. Lombardi, M.-F. Roy, Théorie constructive élémentaire des corps ordonnés. Publications Mathématiques de Besançon, Théorie des Nombres, 1990-1991 (English abridged version: Constructive elementary theory of ordered fields. pp. 249-262) in: T. Mora, C. Traverso (Eds), Effective Methods in Algebraic Geometry, Birkhauser, 1991, Progress in Mathematics, vol 94.
29. H. Lombardi, M.-F. Roy, Théorie constructive élémentaire des corps ordonnés. Publications Mathématiques de Besançon, Théorie des Nombres, 1990-1991 (English abridged version: Constructive elementary theory of ordered fields. pp. 249-262) in: T. Mora, C. Traverso (Eds), Effective Methods in Algebraic Geometry, Birkhauser, 1991, Progress in Mathematics, vol 94.
30. Makkai M., Reyes G. First order categorical logic, Lecture Notes in Mathematics. vol. 611:1977;Springer, Berlin.
31. R. Mines, F. Richman, W. Ruitenburg, A Course in Constructive Algebra, Springer, Universitext, 1988.
32. Prestel A., Ripoli C. Integral valued rational functions on valued fields. Manuscripta Math. 73:1991;437-452.
33. Schrijver A. Theory of Integer and Linear Programming. 1985;Wiley, New York.
34. Stengle G. A Nullstellensatz and a Positivstellensatz in semialgebraic geometry. Math. Ann. 207:1974;87-97.
35. Troelstra A., Schwichtenberg H. Basic proof theory, Cambridge Tracts in Theoretical Computer Science. vol. 43:1996;Cambridge University Press, Cambridge.
36. Weispfenning V. Quantifier elimination and decision procedures for valued fields. Müller G.H., Richter M.M. Models and Sets, Lecture Notes in Mathematics. vol. 1103:1984;419-472 Springer, Berlin.