The following pages link to (Q5297909):
Displaying 12 items.
- PNM (Q18056) (← links)
- Growth properties of power-free languages (Q465700) (← links)
- Computation of symbolic dynamics for one-dimensional maps (Q964963) (← links)
- Certified numerical real root isolation for bivariate nonlinear systems (Q2156364) (← links)
- Integration of ordinary differential equations on Riemann surfaces with unbounded precision (Q2278195) (← links)
- Verified Methods for Computing Pareto Sets: General Algorithmic Analysis (Q2930551) (← links)
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata (Q3523130) (← links)
- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics (Q3586016) (← links)
- Interval arithmetic error estimation for the solution of Fredholm integral equation (Q3615557) (← links)
- Numerik-Algorithmen (Q4652271) (← links)
- Introduction to the Zambelli Festschrift (Q5011342) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)