scientific article; zbMATH DE number 16655
From MaRDI portal
Publication:3973341
zbMATH Open0748.14023MaRDI QIDQ3973341FDOQ3973341
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Recommendations
Real algebraic sets (14P05) Other constructive mathematics (03F65) Relevant commutative algebra (14A05) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)
Cited In (16)
- Title not available (Why is that?)
- Constructive rereading of Artin-Schreier theory
- An algebraic certificate for Budan's theorem
- Variants of the Effective Nullstellensatz and Residue Calculus
- Title not available (Why is that?)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Title not available (Why is that?)
- Dynamical method in algebra: Effective Nullstellensätze
- On the efficiency of effective Nullstellensätze
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem
- Title not available (Why is that?)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- More on real algebra in Scott's model
- Killing the GCH everywhere with a single real
- On the complexity of the real Nullstellensatz in the 0-dimensional case
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973341)
