摘要： 在某些几何软件的开发中，会要求写出一个向量方程的微分公式。对我而言，手工推导繁琐而且容易出错。 早就听说Mathematica, Maple这样的软件可以自动进行符号公式的推导，一直没有时间研究。最近终于应用了一把，发现还是挺简单的。现以求一个“点到直线距离”的方程微分为例，展示一下怎么样用Maple推导向量方程的微分。 阅读全文