Semantically correct automatic differentiation

Full project page

Organisations map overview