A new decision method for elementary algebra
From MaRDI portal
Publication:2651859
DOI10.2307/1969640zbMath0056.01804OpenAlexW2318268489WikidataQ98108134 ScholiaQ98108134MaRDI QIDQ2651859
Publication date: 1954
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1969640
Related Items
Singularly perturbed systems, Computing the shape of the image of a multi-linear mapping is possible but computationally intractable: Theorems, Unnamed Item, Tropicalizing the Simplex Algorithm, Applied Algebraic Geometry in Model Based Design for Manufacturing, A real analytic constructive proof of the lojasiewicz theorem, Fourth- and Higher-order Interface Tracking Via Mapping and Adjusting Regular Semianalytic sets Represented by Cubic Splines, COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM, Generic 3-parameter families of vector fields on the plane, unfolding a singularity with nilpotent linear part. The cusp case of codimension 3, Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander, Extensions of Hilbert's tenth problem, Geometria combinatoria e geometrie finite, Unnamed Item, On Feedback Stabilization of Linear Switched Systems via Switching Signal Control, Ascending chains of ideals in the polynomial ring, Global convergence of the gradient method for functions definable in o-minimal structures, Sampling and homology via bottlenecks, Early Ending in Homotopy Path-Tracking for Real Roots, Proving an execution of an algorithm correct?, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, Abstract Differential Algebra and the Analytic Case, On the number of integral binary n$n$‐ic forms having bounded Julia invariant, Global Rigidity of Line Constrained Frameworks, Quelques propriétés du noyau d'un opérateur différentiel linéaire non hypoelliptique, à coefficients constants, A geometric model of an arbitrary differentially closed field of characteristic zero, Polynomial, regular and Nash images of Euclidean spaces, On the propagation of regularity of solutions of partial differential equations with constant coefficients, Finding at least one point in each connected component of a real algebraic set defined by a single equation, A survey of computational complexity results in systems and control, An Almost Optimal Algorithm for Computing Nonnegative Rank, Unnamed Item, Direct Integral Decompositions and Multiplicities for Induced Representations of Nilpotent Lie Groups, Sur la complexité du principe de Tarski-Seidenberg, On the Generation of Positivstellensatz Witnesses in Degenerate Cases, On the topology of Diophantine approximation spectra, Lower bounds for polynomials of many variables, Tilings with congruent tiles, An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms, Analytic and Differentiable Functions Vanishing on an Algebraic Set, Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras, Computability and the algebra of fields: Some affine constructions, Unnamed Item, Globally Linked Pairs of Vertices in Rigid Frameworks, Epsilon local rigidity and numerical algebraic geometry, Łojasiewicz inequalities with explicit exponents for smallest singular value functions, Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries, Lower bounds on complexity of Lyapunov functions for switched linear systems, Formulation of linear problems and solution by a universal machine, Perron-Frobenius theory over real closed fields and fractional power series expansions, Computer algebra: Past and future, Static output feedback -- a survey, An algorithm for generalized point location and its applications, A bibliography of quantifier elimination for real closed fields, On a nonlocal two-point boundary value problem in a band for an equation with nonconstant coefficients, Recognizing free generating sets of \(\ell\)-groups, On finiteness theorems of polynomial functions, On the solvability of derived matrix problems, including completions and duals, On the division of distributions by polynomials, Bookmaking over infinite-valued events, Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem, The differential of probabilistic entailment, A refutational approach to geometry theorem proving, Computability of a map and decidability of its graph in the model of Blum, Shub and Smale, Tensor decomposition and homotopy continuation, Nonsmooth rank-one matrix factorization landscape, Counting types of rigid frameworks, Lipschitz continuity of tangent directions at infinity, Semialgebraic topology over a real closed field. II: Basic theory of semialgebraic spaces, Lifting smooth homotopies of orbit spaces, NP-hardness of deciding convexity of quartic polynomials and related problems, Equivalence of state representations for hidden Markov models, Condition number based complexity estimate for solving polynomial systems, On stabilizability of evolution systems of partial differential equations on \(\mathbb{R}^n\times [0,+\infty)\) by time-delayed feedback controls, Automated reducible geometric theorem proving and discovery by Gröbner basis method, Recognition of affine-equivalent polyhedra by their natural developments, Applications of the blowing-up construction and algebraic geometry to bifurcation problems, On the complexity of testing attainment of the optimal value in nonlinear optimization, On the infinite increase of a class of polynomials, Subanalytic sets in the calculus of variation, A review and prospect of readable machine proofs for geometry theorems, Numerically computing real points on algebraic sets, Robust control of uncertain systems: classical results and recent developments, Necessary conditions for the generic global rigidity of frameworks on surfaces, Recent advances in automated theorem proving on inequalities, Sum-of-squares for bounded rationality, The Turing degrees for some computation model with the real parameter, An effective decision method for semidefinite polynomials, On the equivalence between (quasi-)perfect and sequential equilibria, A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function, A hybrid procedure for finding real points on a real algebraic set, Quantifier elimination for a class of exponential polynomial formulas, Nonstandard decision methods for the solvability of real polynomial equations, Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields, 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, Deciding Koopman's qualitative probability, Lower bounds for polynomials of many variables, Nonnegative ranks, decompositions, and factorizations of nonnegative matrices, 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, Elementary recursive quantifier elimination based on Thom encoding and sign determination, Certified non-conservative tests for the structural stability of discrete multidimensional systems, Necessary conditions for the global rigidity of direction-length frameworks, The mixed problem in a quarter space for systems of equations with constant coefficients which are correct in the sense of I. G. Petrovskii, Stratification of real analytic mappings and images, Rational choice and polynomial measurement models, Caratterizzazione alla Paley-Wiener dei dati ai limiti per certi problemi ben posti secondo Shilov, On sign conditions over real multivariate polynomials, Stronger-than-Lyapunov notions of matrix stability, or how ``flowers help solve problems in mathematical ecology, On invariant and covariant Schwartz distributions in the case of a compact linear group, New techniques and results in multidimensional problems, Types topologiques des polynômes, Singularities of vector fields on the plane, Numerical range of a matrix: Some effective criteria, On the forgotten theorem of Mr. Vincent, Complexity of deciding Tarski algebra, Computing a Nonnegative Matrix Factorization---Provably, The structure of the set of equilibria for two person multicriteria games., Analytically equivalent ideals, Computing the irreducible real factors and components of an algebraic curve, Characters of algebraic solvable groups, \(L^ p\) matrix coefficients for nilpotent Lie groups, Modified Nash triviality of a family of zero-sets of real polynomial mappings, The weirdness theorem and the origin of quantum paradoxes, Finiteness of semialgebraic types of Nash mappings defined on a Nash surface, Nonexistence of a continuous right inverse for surjective linear partial differential operators on the Fréchet spaces \(\gamma^{(\delta)}(\Omega)\), On the theory of general partial differential operators, On the regularity of the solutions of boundary problems, Hyperbolic equations and systems with multiple characteristics, Complexity aspects of local minima and related notions, Orbit spaces of linear circle actions, Singularities of vector fields, A decision procedure for optimal polyhedron partitioning, Measurable equidecompositions for group actions with an expansion property, Euclidean distance degree and mixed volume, On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases, Differential operators with constant coefficients of hyperbolic- (hypo)elliptic type, Elimination in control theory, Inferring 3D structure from image motion: The constraint of Poinsot motion, Computing two penetration measures for curved 2D objects, Real solving for positive dimensional systems., Another proof of the Tarski-Seidenberg theorem, Systems of rational polynomial equations have polynomial size approximate zeros on the average, Computing real witness points of positive dimensional polynomial systems, Symbolic computation in Maude: some tapas
