algebraic-data-types array-programming automatic-differentiation chinese computer-algebra differentiable-programming gradient-descent kotlin linear-algebra message-passing multi-stage-programming optimization shape-safety symbolic-differentiation types

algebra algebraic-data-types algebraic-structures commutative-algebra computer-algebra group-theory julia math mathematics multivariate-polynomials polynomial-arithmetic polynomials vector

algebraic-data-types cons lisp-like python scheme-like