The following pages link to (Q4391214):
Displaying 41 items.
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares (Q258393) (← links)
- On \(\Sigma\)-rigid presentations of the real order (Q404712) (← links)
- Faster \(p\)-adic feasibility for certain multivariate sparse polynomials (Q412210) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Homogeneous multivariate polynomials with the half-plane property (Q1432999) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function (Q1729061) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- The impact on the properties of the EFGM copulas when extending this family (Q2049225) (← links)
- Complexity aspects of local minima and related notions (Q2074805) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- On the complexity of testing attainment of the optimal value in nonlinear optimization (Q2205977) (← links)
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities (Q2245659) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
- Editorial: Symbolic computation and satisfiability checking (Q2307620) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- Subquadratic algorithms for algebraic 3SUM (Q2415376) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- An examination of the geometry theorem machine (Q2542288) (← links)
- Image completion and blind deconvolution: model and algorithm (Q2666018) (← links)
- On existential definitions of c.e. subsets of rings of functions of characteristic 0 (Q2668003) (← links)
- Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems (Q2867948) (← links)
- Can you compute the operator norm? (Q2930634) (← links)
- Trace-positive complex polynomials in three unitaries (Q3053501) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Undecidable existential theories of polynomial rings and function fields (Q4265563) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- (Q5009454) (← links)
- (Q5009460) (← links)
- (Q5021008) (← links)
- (Q5028436) (← links)
- Effective aspects of Hausdorff and Fourier dimension (Q5061392) (← links)
- (Q5111641) (← links)
- Differential Game Logic (Q5277902) (← links)
- The challenge of computer mathematics (Q5301849) (← links)
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives (Q5494753) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
