The following pages link to (Q5094126):
Displaying 6 items.
- Higher-order automatic differentiation of mathematical functions (Q312014) (← links)
- Automatic differentiation of functions of many variables (Q1375255) (← links)
- Automatic differentiation of functions of derivatives (Q3782646) (← links)
- (Q4038656) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)