The following pages link to (Q5792485):
Displaying 50 items.
- Necessary conditions for the generic global rigidity of frameworks on surfaces (Q464737) (← links)
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Independence in computable algebra (Q497725) (← links)
- Analyzing restricted fragments of the theory of linear arithmetic (Q513354) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- On the extreme points of moments sets (Q530416) (← links)
- Necessary conditions for the global rigidity of direction-length frameworks (Q542393) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Examples of stability of tensor products in positive characteristic (Q643169) (← links)
- Continuum, name and paradox (Q707899) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Computational complexity of sentences over fields (Q937294) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (Q1325710) (← links)
- Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure (Q1682405) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Metric estimates and membership complexity for Archimedean amoebae and tropical hypersurfaces (Q1745633) (← links)
- Note on the computational complexity of \(j\)-radii of polytopes in \(\mathbb R^ n\) (Q1915805) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Checking existence of solutions of partial differential equations in the fields of Laurent series (Q2017771) (← links)
- Efficiently and effectively recognizing toricity of steady state varieties (Q2035620) (← links)
- A proof of A. Gabrielov's rank theorem (Q2050437) (← links)
- Algorithmic reduction of biological networks with multiple time scales (Q2051597) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Complexity of computing interval matrix powers for special classes of matrices. (Q2216226) (← links)
- Links with splitting number one (Q2230973) (← links)
- Quasitoric totally normally split manifolds (Q2280452) (← links)
- Unifying known lower bounds via geometric complexity theory (Q2351393) (← links)
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic'' (Q2364369) (← links)
- On the Bennett-Hoeffding inequality (Q2438252) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Reducts of \(p\)-adically closed fields (Q2449852) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Some formal tools for analyzing quantum automata. (Q2490805) (← links)
- Nonexistence of a continuous right inverse for surjective linear partial differential operators on the Fréchet spaces \(\gamma^{(\delta)}(\Omega)\) (Q2545808) (← links)
- Problem-solving machines for Euclidean geometry (Q2549937) (← links)
- Cyclotomic torsion points in elliptic schemes (Q2663053) (← links)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- A decidable theory involving addition of differentiable real functions (Q2699966) (← links)
- A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)
- Improved inapproximability results for counting independent sets in the hard-core model (Q2877770) (← links)
- Positivstellensatz for semi-algebraic sets in real closed valued fields (Q2944800) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← links)
- Counting special points: Logic, diophantine geometry, and transcendence theory (Q3109807) (← links)
- Model Complete Theories with a Distinguished Substructure (Q3205219) (← links)
- Degrees of Computability (Q3232282) (← links)
