A Differentially Algebraic Replacement Theorem, and Analog Computability

DOI10.2307/2046643MaRDI QIDQ3029337zbMATHOpenAlexFDO

Authors Leonard Lipshitz, Lee A. Rubel

Publication date 1987

Full work available at URL https://doi.org/10.2307/2046643

zbMATH Keywords

analytic solutionsalgebraic differential equationdifferentially algebraic replacement theorems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theoretical approximation of solutions to ordinary differential equations (34A45) Numerical analysis in abstract spaces (65J99)

Recommendations

• Corrigendum to "A Differentially Algebraic Replacement Theorem, and Analog Computability"
• A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations
• Axiomatizing analog algorithms
• Towards an Axiomatization of Simple Analog Algorithms
• Iteration, inequalities, and differentiability in analog computers
• On the complexity of the differential-algebraic description of analytic complexity classes
• Characterizing Computable Analysis with Differential Equations
• Representation theorems for analytic machines and computability of analytic functions
• scientific article; zbMATH DE number 3933053
• On approximate and algebraic computability over the real numbers

Cited in

(17)

• Towards an Axiomatization of Simple Analog Algorithms
• Embedding infinitely parallel computation in Newtonian kinematics
• Analog computers and recursive functions over the reals.
• Iteration, inequalities, and differentiability in analog computers
• Polynomial differential equations compute all real computable functions on computable compact intervals
• An Unsolvable Cousin Problem
• Computability of analog networks
• An analog characterization of the Grzegorczyk hierarchy
• Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
• A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations
• Autonomous functions
• A survey of recursive analysis and Moore's notion of real computation
• Recursion theory on the reals and continuous-time computation
• Some mathematical limitations of the general-purpose analog computer
• Real recursive functions and their hierarchy
• A Survey on Analog Models of Computation
• Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions

This page was built for publication: A Differentially Algebraic Replacement Theorem, and Analog Computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3029337)