A Differentially Algebraic Replacement Theorem, and Analog Computability
- 1 February 1987
- journal article
- Published by JSTOR in Proceedings of the American Mathematical Society
- Vol. 99 (2) , 367-372
- https://doi.org/10.2307/2046643
Abstract
A theorem is proved that enables one to replace a solution of a system of algebraic differential equations by analytic solutions nearby, such that each satisfies its own algebraic differential equation. As an application, we emend a proof of the Shannon-Pour-E1 thesis relating the outputs of analog computers to solutions of algebraic differential equations.Keywords
This publication has 2 references indexed in Scilit:
- Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)Transactions of the American Mathematical Society, 1974
- Mathematical Theory of the Differential AnalyzerJournal of Mathematics and Physics, 1941