相关疑难解决方法(0)

与数值计算相比,符号数学计算(特别是对于求解非线性多项式系统)会导致巨大的性能(计算速度)劣势吗？有没有关于此的基准/数据？

发现了一个相关的问题:https://scicomp.stackexchange.com/questions/21754/symbolic-computation-vs-numerical-computation

另一个:正向模式自动与数字与符号分化的计算效率

我想弄清楚如何让这个功能工作。我对 F# 非常无能，所以感谢解释，

let deriv (f:(float->float), dx: float) = 
    fun f:(float -> float) * dx:float -> x:float -> float
let (f, dx, x) = ((f(x + dx) - f(x))/dx)

我用f:(float->float)错了吗？