Pages that link to "Item:Q5220187"
From MaRDI portal
The following pages link to Computable analysis with applications to dynamic systems (Q5220187):
Displaying 13 items.
- Computation with perturbed dynamical systems (Q355515) (← links)
- Computer algebra methods for implicit dynamic systems and applications (Q1887828) (← links)
- Some applications of computers to the investigation of substitutional dynamical systems. (Q1966349) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
- On envelopes and backward approximations (Q2104271) (← links)
- An application of computer algebra and dynamical systems (Q2175428) (← links)
- Computer assisted proofs in dynamical systems (Q2684072) (← links)
- (Q3517152) (← links)
- Robust Computations with Dynamical Systems (Q3586084) (← links)
- Characterizing Computable Analysis with Differential Equations (Q4918002) (← links)
- (Q4967173) (← links)
- Computing with continuous-time Liapunov systems (Q5176031) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)