Pages that link to "Item:Q4910429"
From MaRDI portal
The following pages link to A Language for Differentiable Functions (Q4910429):
Displaying 5 items.
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
