×

Found 42 Documents (Results 1–42)

Real closed fields and IP-sensitivity. (English) Zbl 1107.03033

Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 1-22 (2006).
MSC:  03C60 12J15 12L12
PDFBibTeX XMLCite

Model theory and differential algebra. (English) Zbl 1023.03031

Guo, Li (ed.) et al., Proceedings of the international workshop on differential algebra and related topics, Rutgers-The State University of New Jersey, New Brunswick, NJ, USA, November 2-3, 2000. Singapore: World Scientific. 125-150 (2002).
MSC:  03C60 12H05 12L12
PDFBibTeX XMLCite

The complex spectrum of a ring. (English) Zbl 1016.13011

Delzell, Charles N. (ed.) et al., Real algebraic geometry and ordered structures. AMS special session, Baton Rouge, LA, USA, April 17-21, 1996 and the associated special semester at Louisiana State University and Southern University, Baton Rouge, LA, USA, January-May 1996. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 253, 235-249 (2000).
PDFBibTeX XMLCite

\(\delta\)-uniformly decidable sets and Turing machines. (English) Zbl 0941.03047

Ciobanu, Gabriel (ed.) et al., Fundamentals of computation theory. 12th international symposium, FCT ’99. Iaşi, Romania, August 30 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1684, 433-440 (1999).
MSC:  03D65 12L05 03D10
PDFBibTeX XMLCite

Uniform decomposition of \(\alpha\)-algebraic sets in valued fields. (Uniforme Zerlegung \(\alpha\)-algebraischer Mengen zu bewerteten Körpern.) (German) Zbl 0967.14039

Regensburger Mathematische Schriften. 29. Regensburg: Univ. Regensburg, Fakultät für Mathematik, xiii, 187 S. (1999).
MSC:  14P10 12J10
PDFBibTeX XMLCite

Real algebraic geometry. Transl. from the French. Rev. and updated ed. (English) Zbl 0912.14023

Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 36. Berlin: Springer. ix, 430 p. (1998).
PDFBibTeX XMLCite

Nonexistence of analytically varying solutions to Hilbert’s 17th problem. (English) Zbl 0828.12001

Jacob, William B. (ed.) et al., Recent advances in real algebraic geometry and quadratic forms. Proceedings of the RAGSQUAD year, Berkeley, CA, USA, 1990-1991. Providence, RI: American Mathematical Society. Contemp. Math. 155, 107-117 (1994).
Reviewer: Charles N.Delzell
MSC:  12D15 14P15 11E25
PDFBibTeX XMLCite

Finding connected components of a semialgebraic set in subexponential time. (English. Russian original) Zbl 0835.68061

J. Math. Sci., New York 70, No. 4, 1847-1872 (1994); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3-46 (1991).
MSC:  68W30 14P10 68Q25 03C60 12Y05
PDFBibTeX XMLCite
Full Text: DOI

Some proofs on definability of a field. (English) Zbl 0752.03017

Model theory, Proc. Sov.-Fr. Colloq., Karaganda/USSR 1990, 166-180 (1990).
Reviewer: M.Weese (Berlin)
MSC:  03C60 12L12 03C40
PDFBibTeX XMLCite

Determination of the number of connected components of a semialgebraic set in subexponential time. (English. Russian original) Zbl 0801.68097

Sov. Math., Dokl. 42, No. 2, 563-566 (1991); translation from Dokl. Akad. Nauk SSSR 314, No. 5, 1040-1043 (1990).
MSC:  68W30 68Q25 14P10 14Q99 12Y05 03C60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software