Pages that link to "Item:Q5565112"
From MaRDI portal
The following pages link to Some undecidable problems involving elementary functions of a real variable (Q5565112):
Displaying 50 items.
- Undecidability through Fourier series (Q278759) (← links)
- Remarks on undecidability, incompleteness and the integrability problem (Q601801) (← links)
- Macsyma: A personal history (Q655565) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Growth estimates for exp-log functions (Q803299) (← links)
- Solving difference equations whose coefficients are not transcendental (Q935167) (← links)
- Testing elementary function identities using CAD (Q944998) (← links)
- How to build a hypercomputer (Q1036529) (← links)
- Decreasing the nesting depth of expressions involving square roots (Q1063633) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- Constraint propagation with interval labels (Q1101265) (← links)
- Solving symbolic equations with PRESS (Q1118401) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- Terminal model of Newtonian dynamics (Q1209245) (← links)
- A notion of mechanistic theory (Q1217700) (← links)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (Q1325710) (← links)
- Unpredictable dynamics and collective brain (Q1327202) (← links)
- Predictability in deterministic theories (Q1330113) (← links)
- A test environment using symbolic program trace (Q1340875) (← links)
- Postinstability models in dynamics (Q1345426) (← links)
- Dynamical simulations of probabilities (Q1807508) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Undecidable Hopf bifurcation with undecidable fixed point (Q1893895) (← links)
- Undecidability, incompleteness and Arnol'd problems (Q1896752) (← links)
- Irreversibility in thermodynamics (Q1912254) (← links)
- On an undecidable problem related to difference equations with parameters (Q1956951) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Conversion methods for improving structural analysis of differential-algebraic equation systems (Q2411654) (← links)
- Neglected critical issues of effective CAS utilization (Q2437309) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362) (← links)
- Fermat's last theorem and chaoticity (Q2629932) (← links)
- Integration of elementary functions (Q2639105) (← links)
- A decidable theory involving addition of differentiable real functions (Q2699966) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- A structure theorem for the elementary functions and its application to the identity problem (Q3854622) (← links)
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations (Q4038447) (← links)
- Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen (Q4228333) (← links)
- Extensions of Hilbert's tenth problem (Q4302340) (← links)
- An undecidable property of definite integrals (Q4339197) (← links)
- Decision problems for differential equations (Q4732470) (← links)
- The removal of $\pi $ from some undecidable problems involving elementary functions (Q4804074) (← links)
- Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations (Q5050160) (← links)
