research
∙
06/11/2020
A complete equational axiomatisation of partial differentiation
We formalise the well-known rules of partial differentiation in a versio...
share
research
∙
11/11/2019
A Simple Differentiable Programming Language
Automatic differentiation plays a prominent role in scientific computing...
research
∙
02/20/2018
