Some undecidable problems involving elementary functions of a real variable

Cites Work

The decision problem for exponential diophantine equations

Cited In (62)

Semantics, specification logic, and Hoare logic of exact real computation
Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test
Deciding first-order formulas involving univariate mixed trigonometric-polynomials
An undecidable property of definite integrals
On the decidability of reachability in continuous time linear time-invariant systems
Smoothing the Gap Between NP and ER
Proving an execution of an algorithm correct?
Hidden verification for computational mathematics
Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen
Neglected critical issues of effective CAS utilization
Mass problems associated with effectively closed sets
Implicit definitions with differential equations for KeYmaera X (system description)
Decision problems for differential equations
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
Decreasing the nesting depth of expressions involving square roots
\textsf{symQV}: automated symbolic verification of quantum programs
Vector barrier certificates and comparison systems
Undecidability through Fourier series
Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
Direct formal verification of liveness properties in continuous and hybrid dynamical systems
Integration of elementary functions
Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
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
Extensions of Hilbert's tenth problem
Safety verification of non-linear hybrid systems is quasi-decidable
Undecidable problems in quantum field theory
Effective Set Membership in Computer Algebra and Beyond
The ksmt calculus is a $\delta $-complete decision procedure for non-linear constraints
Remarks on undecidability, incompleteness and the integrability problem
Unsolvability of some problems about piecewise-polynomial functions
Terminal model of Newtonian dynamics
Dynamical simulations of probabilities
Models of computation for partial functions on the reals
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Irreversibility in thermodynamics
Conversion methods for improving structural analysis of differential-algebraic equation systems
Undecidability and incompleteness in classical mechanics
Unpredictable dynamics and collective brain
Postinstability models in dynamics
How to build a hypercomputer
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
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
Degrees of unsolvability: a tutorial
Testing elementary function identities using CAD
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)