Some undecidable problems involving elementary functions of a real variable
From MaRDI portal
Publication:5565112
DOI10.2307/2271358zbMath0175.27404OpenAlexW2063402394WikidataQ56474593 ScholiaQ56474593MaRDI QIDQ5565112
Publication date: 1968
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271358
Related Items
Dynamical system where proving chaos is equivalent to proving Fermat's conjecture ⋮ Unpredictable dynamics and collective brain ⋮ Predictability in deterministic theories ⋮ Undecidability through Fourier series ⋮ A test environment using symbolic program trace ⋮ Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Fermat's last theorem and chaoticity ⋮ Postinstability models in dynamics ⋮ The removal of $\pi $ from some undecidable problems involving elementary functions ⋮ Undecidable Hopf bifurcation with undecidable fixed point ⋮ Computer algebra: Past and future ⋮ Undecidability, incompleteness and Arnol'd problems ⋮ Constraint propagation with interval labels ⋮ Integration of elementary functions ⋮ Smoothing the Gap Between NP and ER ⋮ Degrees of Unsolvability: A Tutorial ⋮ Irreversibility in thermodynamics ⋮ Solving symbolic equations with PRESS ⋮ Extensions of Hilbert's tenth problem ⋮ Remarks on undecidability, incompleteness and the integrability problem ⋮ Conversion methods for improving structural analysis of differential-algebraic equation systems ⋮ Undecidable problems in quantum field theory ⋮ Unsolvability of some problems about piecewise-polynomial functions ⋮ Deciding first-order formulas involving univariate mixed trigonometric-polynomials ⋮ The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints ⋮ Proving an execution of an algorithm correct? ⋮ Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test ⋮ \textsf{symQV}: automated symbolic verification of quantum programs ⋮ On the decidability of reachability in continuous time linear time-invariant systems ⋮ Neglected critical issues of effective CAS utilization ⋮ An undecidable property of definite integrals ⋮ A decidable theory involving addition of differentiable real functions ⋮ On an undecidable problem related to difference equations with parameters ⋮ Macsyma: A personal history ⋮ Undecidability and incompleteness in classical mechanics ⋮ Hidden verification for computational mathematics ⋮ Solving difference equations whose coefficients are not transcendental ⋮ Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates ⋮ Testing elementary function identities using CAD ⋮ A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Terminal model of Newtonian dynamics ⋮ Models of computation for partial functions on the reals ⋮ A notion of mechanistic theory ⋮ A structure theorem for the elementary functions and its application to the identity problem ⋮ Vector barrier certificates and comparison systems ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ Dynamical simulations of probabilities ⋮ The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints ⋮ A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy ⋮ Mass problems associated with effectively closed sets ⋮ How to build a hypercomputer ⋮ Decision problems for differential equations ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Effective Set Membership in Computer Algebra and Beyond ⋮ Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen ⋮ Implicit definitions with differential equations for KeYmaera X (system description) ⋮ Growth estimates for exp-log functions ⋮ Decreasing the nesting depth of expressions involving square roots
Cites Work
