Pages that link to "Item:Q2651859"
From MaRDI portal
The following pages link to A new decision method for elementary algebra (Q2651859):
Displaying 50 items.
- Lower bounds on complexity of Lyapunov functions for switched linear systems (Q286067) (← links)
- On the solvability of derived matrix problems, including completions and duals (Q347496) (← links)
- Robust control of uncertain systems: classical results and recent developments (Q458745) (← links)
- Necessary conditions for the generic global rigidity of frameworks on surfaces (Q464737) (← 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)
- Necessary conditions for the global rigidity of direction-length frameworks (Q542393) (← links)
- Condition number based complexity estimate for solving polynomial systems (Q629539) (← links)
- Lower bounds for polynomials of many variables (Q680071) (← links)
- Nonnegative ranks, decompositions, and factorizations of nonnegative matrices (Q686375) (← links)
- On the theory of general partial differential operators (Q766721) (← links)
- On the regularity of the solutions of boundary problems (Q770579) (← links)
- A decision procedure for optimal polyhedron partitioning (Q794166) (← links)
- Elimination in control theory (Q804533) (← links)
- Bookmaking over infinite-valued events (Q868109) (← links)
- The Turing degrees for some computation model with the real parameter (Q930625) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- Differential operators with constant coefficients of hyperbolic- (hypo)elliptic type (Q1061299) (← links)
- Another proof of the Tarski-Seidenberg theorem (Q1071832) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Computability of a map and decidability of its graph in the model of Blum, Shub and Smale (Q1127553) (← links)
- Counting types of rigid frameworks (Q1136355) (← links)
- Semialgebraic topology over a real closed field. II: Basic theory of semialgebraic spaces (Q1146229) (← links)
- Lifting smooth homotopies of orbit spaces (Q1147406) (← links)
- Applications of the blowing-up construction and algebraic geometry to bifurcation problems (Q1154033) (← links)
- Subanalytic sets in the calculus of variation (Q1161189) (← links)
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (Q1184352) (← 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)
- The mixed problem in a quarter space for systems of equations with constant coefficients which are correct in the sense of I. G. Petrovskii (Q1211172) (← links)
- Stratification of real analytic mappings and images (Q1214556) (← links)
- Rational choice and polynomial measurement models (Q1216263) (← links)
- Caratterizzazione alla Paley-Wiener dei dati ai limiti per certi problemi ben posti secondo Shilov (Q1218096) (← links)
- On invariant and covariant Schwartz distributions in the case of a compact linear group (Q1227917) (← links)
- New techniques and results in multidimensional problems (Q1229183) (← links)
- Types topologiques des polynômes (Q1231697) (← links)
- Singularities of vector fields on the plane (Q1233664) (← links)
- Numerical range of a matrix: Some effective criteria (Q1248136) (← links)
- On the forgotten theorem of Mr. Vincent (Q1251646) (← links)
- Complexity of deciding Tarski algebra (Q1264143) (← links)
- Modified Nash triviality of a family of zero-sets of real polynomial mappings (Q1272260) (← links)
- On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases (Q1307697) (← links)
- Inferring 3D structure from image motion: The constraint of Poinsot motion (Q1318576) (← links)
- Formulation of linear problems and solution by a universal machine (Q1338141) (← links)
- Static output feedback -- a survey (Q1354848) (← links)
- On a nonlocal two-point boundary value problem in a band for an equation with nonconstant coefficients (Q1360848) (← links)
- On stabilizability of evolution systems of partial differential equations on \(\mathbb{R}^n\times [0,+\infty)\) by time-delayed feedback controls (Q1407180) (← links)
- An effective decision method for semidefinite polynomials (Q1432891) (← links)
- Computing two penetration measures for curved 2D objects (Q1607013) (← links)
