scientific article; zbMATH DE number 1157649
From MaRDI portal
Publication:4391214
zbMath0900.03045MaRDI QIDQ4391214
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Collected or selected works; reprintings or translations of classics (01A75) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (44)
On representations of intended structures in foundational theories ⋮ Differential Game Logic ⋮ Finding proofs in Tarskian geometry ⋮ Undecidable existential theories of polynomial rings and function fields ⋮ Recent Advances in Real Geometric Reasoning ⋮ The challenge of computer mathematics ⋮ Effective aspects of Hausdorff and Fourier dimension ⋮ Can you compute the operator norm? ⋮ Image completion and blind deconvolution: model and algorithm ⋮ On existential definitions of c.e. subsets of rings of functions of characteristic 0 ⋮ Subquadratic algorithms for algebraic 3SUM ⋮ Termination of linear loops under commutative updates ⋮ Recursive solution of initial value problems with temporal discretization ⋮ On \(\Sigma\)-rigid presentations of the real order ⋮ Faster \(p\)-adic feasibility for certain multivariate sparse polynomials ⋮ Spatial and timing properties in highway traffic ⋮ On the decidability of reachability in continuous time linear time-invariant systems ⋮ Automated reducible geometric theorem proving and discovery by Gröbner basis method ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the complexity of testing attainment of the optimal value in nonlinear optimization ⋮ Tarski’s Influence on Computer Science ⋮ Unnamed Item ⋮ Specifications for decidable hybrid games ⋮ Unnamed Item ⋮ Homogeneous multivariate polynomials with the half-plane property ⋮ A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function ⋮ Polynomial bivariate copulas of degree five: characterization and some particular inequalities ⋮ Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings ⋮ Automatic generation of bounds for polynomial systems with application to the Lorenz system ⋮ Probabilization of logics: completeness and decidability ⋮ Some new results on decidability for elementary algebra and geometry ⋮ Trace-positive complex polynomials in three unitaries ⋮ On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting ⋮ Unnamed Item ⋮ The impact on the properties of the EFGM copulas when extending this family ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ Towards physical hybrid systems ⋮ Editorial: Symbolic computation and satisfiability checking ⋮ An examination of the geometry theorem machine ⋮ Complexity aspects of local minima and related notions ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems ⋮ Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
This page was built for publication:
