Some undecidable problems involving elementary functions of a real variable
From MaRDI portal
Cited in
(74)- How to build a hypercomputer
- Decreasing the nesting depth of expressions involving square roots
- Computer algebra: Past and future
- Constraint propagation with interval labels
- Solving symbolic equations with PRESS
- Undecidability and incompleteness in classical mechanics
- Terminal model of Newtonian dynamics
- A notion of mechanistic theory
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
- Unpredictable dynamics and collective brain
- Predictability in deterministic theories
- A test environment using symbolic program trace
- Postinstability models in dynamics
- Dynamical simulations of probabilities
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
- Undecidable Hopf bifurcation with undecidable fixed point
- Undecidability, incompleteness and Arnol'd problems
- Irreversibility in thermodynamics
- On an undecidable problem related to difference equations with parameters
- Vector barrier certificates and comparison systems
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
- Implicit definitions with differential equations for KeYmaera X (system description)
- Safety verification of non-linear hybrid systems is quasi-decidable
- Models of computation for partial functions on the reals
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Conversion methods for improving structural analysis of differential-algebraic equation systems
- Neglected critical issues of effective CAS utilization
- Hidden verification for computational mathematics
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
- Fermat's last theorem and chaoticity
- Integration of elementary functions
- A decidable theory involving addition of differentiable real functions
- Undecidability through Fourier series
- Degrees of unsolvability: a tutorial
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
- A structure theorem for the elementary functions and its application to the identity problem
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
- Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen
- Extensions of Hilbert's tenth problem
- An undecidable property of definite integrals
- Decision problems for differential equations
- The removal of \pi from some undecidable problems involving elementary functions
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- Smoothing the Gap Between NP and ER
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Effective Set Membership in Computer Algebra and Beyond
- Remarks on undecidability, incompleteness and the integrability problem
- 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
- Macsyma: A personal history
- Semantics, specification logic, and Hoare logic of exact real computation
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- Undecidability in physics: a review
- Schanuel's conjecture and the roots of elementary functions
- Killing invariants: an approach to the sub-classification of geometries with symmetry
- DNN verification, reachability, and the exponential function problem
- Satisfiability of non-linear transcendental arithmetic as a certificate search problem
- Hybrid symbolic-numeric and numerically-assisted symbolic integration
- Structural preprocessing method for nonlinear differential-algebraic equations using linear symbolic matrices
- Reduction of transcendental decision problems over the reals
- A practical extension of computational complexity theory for applications in mathematics and sciences
- Differential elimination and algebraic invariants of polynomial dynamical systems
- Symbolic mathematical computation 1965--1975. The view from a half-century perspective
- Symbolic mathematical computation 1965--1975: the emergence of a discipline
- Mass problems associated with effectively closed sets
- Growth estimates for exp-log functions
- Solving difference equations whose coefficients are not transcendental
- Testing elementary function identities using CAD
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)
