Dynamical method in algebra: effective Nullstellensätze

[1]  H. Lombardi.  Dimension de Krull, Nullstellensätze et évaluation dynamique , 2002 .

[2]  T. Coquand,et al.  Valuations and Dedekind's Prague Theorem , 2001 .

[3]  Lev Gordeev,et al.  Basic proof theory , 1998 .

[4]  Henri Lombardi,et al.  Relecture constructive de la théorie d'Artin-Schreier , 1998, Ann. Pure Appl. Log..

[5]  Dominique Duval,et al.  Dynamic evaluation and real closure , 1996 .

[6]  Teresa Gómez-Díaz.  Examples of using dynamic constructible closure , 1996 .

[7]  Dominique Duval,et al.  Sketches and Computation - II: Dynamic Evaluation and Applications , 1994, Math. Struct. Comput. Sci..

[8]  Dominique Duval,et al.  Sketches and Computation - I: Basic Definitions and Static Evaluation , 1994, Math. Struct. Comput. Sci..

[9]  Dominique Duval,et al.  Sketches and Parametrization , 1994, Theor. Comput. Sci..

[10]  H. Lombardi,et al.  Une borne sur les degres pour le theoreme des zeros reel effectif , 1992 .

[11]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[12]  A. Prestel,et al.  Integral-valued rational functions on valued fields , 1991 .

[13]  Marie-Françoise Roy,et al.  Elementary constructive theory of ordered fields , 1991 .

[14]  Erich Kaltofen,et al.  Computers and Mathematics , 1989, Springer US.

[15]  Dominique Duval,et al.  Algebraic Extensions and Algebraic Closure in Scratchpad II , 1988, ISSAC.

[16]  Fred Richman,et al.  Finite Dimensional Algebras , 1988 .

[17]  Wim Ruitenburg,et al.  A Course in Constructive Algebra , 1987 .

[18]  M-F Roy,et al.  Géométrie algébrique réelle , 1987 .

[19]  Dominique Duval,et al.  About a New Method for Computing in Algebraic Number Fields , 1985, European Conference on Computer Algebra.

[20]  Michael M. Richter,et al.  Models and Sets , 1985 .

[21]  Volker Weispfenning,et al.  Quantifier elimination and decision procedures for valued fields , 1984 .

[22]  C. Lair,et al.  Leçons de théorie des esquisses , 1984 .

[23]  M. Makkai,et al.  First order categorical logic , 1977 .

[24]  G. Stengle.  A nullstellensatz and a positivstellensatz in semialgebraic geometry , 1974 .

[25]  Charles Ehresmann,et al.  Categories of sketched structures , 1972 .