Some undecidable problems involving elementary functions of a real variable
From MaRDI portal
Publication:5565112
Cited in
(62)- Hidden verification for computational mathematics
- Mass problems associated with effectively closed sets
- Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen
- Neglected critical issues of effective CAS utilization
- Implicit definitions with differential equations for KeYmaera X (system description)
- Semantics, specification logic, and Hoare logic of exact real computation
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Decreasing the nesting depth of expressions involving square roots
- Decision problems for differential equations
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- Undecidability through Fourier series
- Vector barrier certificates and comparison systems
- \textsf{symQV}: automated symbolic verification of quantum programs
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
- Integration of elementary functions
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Fermat's last theorem and chaoticity
- A structure theorem for the elementary functions and its application to the identity problem
- Undecidable Hopf bifurcation with undecidable fixed point
- Safety verification of non-linear hybrid systems is quasi-decidable
- Extensions of Hilbert's tenth problem
- Remarks on undecidability, incompleteness and the integrability problem
- Effective Set Membership in Computer Algebra and Beyond
- Undecidable problems in quantum field theory
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints
- Terminal model of Newtonian dynamics
- Dynamical simulations of probabilities
- Unsolvability of some problems about piecewise-polynomial functions
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials
- Models of computation for partial functions on the reals
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
- Irreversibility in thermodynamics
- Undecidability and incompleteness in classical mechanics
- Conversion methods for improving structural analysis of differential-algebraic equation systems
- Unpredictable dynamics and collective brain
- Postinstability models in dynamics
- How to build a hypercomputer
- An undecidable property of definite integrals
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
- Computer algebra: Past and future
- Macsyma: A personal history
- Predictability in deterministic theories
- Growth estimates for exp-log functions
- On the decidability of reachability in continuous time linear time-invariant systems
- Undecidability, incompleteness and Arnol'd problems
- A test environment using symbolic program trace
- Constraint propagation with interval labels
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
- The removal of \pi from some undecidable problems involving elementary functions
- On an undecidable problem related to difference equations with parameters
- Solving symbolic equations with PRESS
- A notion of mechanistic theory
- Solving difference equations whose coefficients are not transcendental
- A decidable theory involving addition of differentiable real functions
- Smoothing the Gap Between NP and ER
- Degrees of unsolvability: a tutorial
- Testing elementary function identities using CAD
- Proving an execution of an algorithm correct?
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
This page was built for publication: Some undecidable problems involving elementary functions of a real variable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5565112)
