A Characterization of Functions over the Integers Computable in Polynomial Time Using Discrete Ordinary Differential Equations-Reference-Cited by-同舟云学术

A Characterization of Functions over the Integers Computable in Polynomial Time Using Discrete Ordinary Differential Equations

Published:2023-07-12 Issue:2 Volume:32 Page:
ISSN:1016-3328
Container-title:computational complexity
language:en
Short-container-title:comput. complex.

Author:

Bournez Olivier,Durand Arnaud

Publisher

Springer Science and Business Media LLC

Subject

Computational Mathematics,Computational Theory and Mathematics,General Mathematics,Theoretical Computer Science

Link

https://link.springer.com/content/pdf/10.1007/s00037-023-00240-1.pdf

Reference36 articles.

1. V.I. Arnold (1978). Ordinary Differential Equations. MIT Press.

2. Stephen Bellantoni & Stephen Cook (1992). A new recursion_ theoretic characterization of the poly-time functions. Computational Complexity 2, 97–110.

3. Garrett Birkhoff & Gian-Carlo Rota (1989). Ordinary Differential Equations. John Wiley & Sons, 4th edition.

4. Olivier Bournez & Arnaud Durand (2019). Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations. In 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26–30, 2019, Aachen, Germany, Peter Rossmanith, Pinar Heggernes & Joost- Pieter Katoen, editors, volume 138 of LIPIcs, 23:1–23:14. Schloss Dagstuhl - Leibniz-Zentrum f¨ur Informatik. URL https://doi.org/10.4230/LIPIcs.MFCS.2019.23.

5. Olivier Bournez, Daniel S. Graςa & Amaury Pouly (2017). Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length. Journal of the ACM 64(6), 38:1–38:76.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations;International Journal of Foundations of Computer Science;2024-08-17