公式推导

当用户想 推导公式、建理论线、组织假设、把零散方程转成连贯推导、或把理论笔记重写为论文就绪公式文档时使用。目标尚未完全固定、主要对象仍需选择、或用户需要连贯推导包而非成品定理证明时使用。