文件名称：symDiff:使用 Ocaml 实现符号微分
文件大小：4KB
文件格式：ZIP
更新时间：2024-07-13 21:44:48
OCaml
符号差异 使用 Ocaml 实现符号微分。 目前，该项目包括： 用于在单个变量中重新表达表达式的类型声明 打印表达式的函数 和微分函数 但我计划实现更多功能，包括： 用于读取符号表达式的解析器 简化函数（作为旁注，这些函数可能会专注于改善当前微分函数产生的冗长表达式，而不是旨在简化任何表达式的通用函数） 解释函数——因为用于区分函数的规则都可以从链和乘积规则、微分的线性和一些基本的恒等式推导出来，所以应该很容易扩展diff以便它返回它如何找到的解释衍生物。 例如，它可以解释什么时候应用了哪些规则，并且可以告诉你 sin(x)cos(x) = -(sin(x)^2) + cos(x)^2 因为 sin(x) 的导数是cos(x)（根据余弦的微分规则），cos(x)的导数是-sin(x)（根据正弦的微分规则），f(x)g(x)的导数=f( x)g'(x) + f'(x)g(x)（根据乘
【文件预览】：
symDiff-master
----symDiff.ml(8KB)
----symDiff.mli(935B)
----README.md(1KB)