The following pages link to Beautiful differentiation (Q2936816):
Displaying 4 items.
- Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra (Q831980) (← links)
- Exact linear reduction for rational dynamical systems (Q2112154) (← links)
- (Q6068926) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)