Differential recursion

DOI10.1145/1507244.1507252zbMath1351.03034arXiv0704.0301OpenAlexW3100307655MaRDI QIDQ2946580

Akitoshi Kawamura

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0704.0301

zbMATH Keywords

analog computationinitial value problemsreal recursive functionsdifferentially algebraic functionstranscendentally transcendental functions

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Related Items (3)

Recursive analysis of singular ordinary differential equations ⋮ A survey of recursive analysis and Moore's notion of real computation ⋮ A characterization of computable analysis on unbounded domains using differential equations

This page was built for publication: Differential recursion