Pages that link to "Item:Q2642903"
From MaRDI portal
The following pages link to SHRAD: A language for sequential real number computation (Q2642903):
Displaying 5 items.
- SHRAD (Q15202) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- New Computational Paradigms (Q5717030) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)