Pages that link to "Item:Q5552751"
From MaRDI portal
The following pages link to Decision procedures for real and <i>p</i>‐adic fields (Q5552751):
Displaying 50 items.
- Faster \(p\)-adic feasibility for certain multivariate sparse polynomials (Q412210) (← links)
- Value-sets of polynomials at \(p\)-adic integers (Q431256) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166) (← links)
- Fields with analytic structure (Q550568) (← links)
- Orderings for term-rewriting systems (Q593789) (← links)
- Special transformations in algebraically closed valued fields (Q636388) (← links)
- Nonnegative ranks, decompositions, and factorizations of nonnegative matrices (Q686375) (← links)
- On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds (Q760006) (← links)
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- The rationality of the Poincaré series associated to the p-adic points on a variety (Q792384) (← links)
- A decision procedure for optimal polyhedron partitioning (Q794166) (← links)
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem (Q798716) (← links)
- Rationality of p-adic Poincaré series: Uniformity in p (Q807686) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Geometric reasoning with logic and algebra (Q918227) (← links)
- Simultaneous diagonal equations over certain \(p\)-adic fields (Q921033) (← links)
- Constructible exponential functions, motivic Fourier transform and transfer principle (Q974061) (← links)
- Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions (Q987369) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- The p-adic spectrum (Q1071859) (← links)
- Tubular neighborhoods in Euclidean spaces (Q1075598) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- Termination of rewriting (Q1098624) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Substructures and uniform elimination for p-adic fields (Q1109764) (← links)
- Semianalytic and subanalytic sets (Q1121406) (← links)
- Some model theory for Henselian valued fields (Q1134757) (← links)
- Real algebraic geometry and the 17th Hilbert problem (Q1135324) (← links)
- What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
- Semialgebraic topology over a real closed field. I: Paths and components in the set of rational points of an algebraic variety (Q1141714) (← links)
- Semialgebraic topology over a real closed field. II: Basic theory of semialgebraic spaces (Q1146229) (← links)
- Evaluation fields for power series II. The Reelnullstellensatz (Q1161565) (← links)
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals (Q1185456) (← links)
- Complexity of deciding Tarski algebra (Q1264143) (← links)
- The computational complexity of some problems of linear algebra (Q1307698) (← links)
- Galois stratification over \(e\)-fold ordered Frobenius fields (Q1320032) (← links)
- On the polynomial-like behaviour of certain algebraic functions (Q1341648) (← links)
- Computational complexity over the \(p\)-adic numbers (Q1368832) (← links)
- Efficient \(p\)-adic cell decompositions for univariate polynomials (Q1578508) (← links)
- Metric estimates and membership complexity for Archimedean amoebae and tropical hypersurfaces (Q1745633) (← links)
- Homology of semi-pfaffian sets (Q1816872) (← links)
- Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry (Q1925773) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- Local reality on algebraic varieties (Q2265482) (← links)
- An algorithm for generalized point location and its applications (Q2639635) (← links)
- Monomialization of morphisms and \(p\)-adic quantifier elimination (Q2839340) (← links)
- Model theory of analytic functions: some historical comments (Q2915887) (← links)
- Relative decidability and definability in henselian valued fields (Q3107352) (← links)
- On the passage from local to global in number theory (Q3138087) (← links)
