#符号微分

Kotlin∇是一个为JVM平台开发的类型安全自动微分框架。它支持高维数据结构和运算符，通过类型系统确保代数约束，减少运行时错误。框架功能包括标量、向量和矩阵运算，形状安全的代数操作，以及偏微分和高阶微分。Kotlin∇还提供符号微分恢复和数值梯度检查，为开发者提供全面的微分编程工具。