The asymptotic analysis of some interpolated nonlinear recurrence relations
From MaRDI portal
Publication:3452385
Recommendations
Cites work
- scientific article; zbMATH DE number 1952952 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decomposition using validated numerics
- Definability and decision problems in arithmetic
- On Computable Numbers, with an Application to the Entscheidungsproblem
- The Jordan Curve Theorem, Formally and Informally
This page was built for publication: The asymptotic analysis of some interpolated nonlinear recurrence relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452385)