The following pages link to Axiomatizing Analog Algorithms (Q3188259):
Displaying 5 items.
- Towards an Axiomatization of Simple Analog Algorithms (Q2898065) (← links)
- A Differentially Algebraic Replacement Theorem, and Analog Computability (Q3029337) (← links)
- Axiomatizing Analog Algorithms (Q3188259) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)