?解方程器软件包
数学分角线相等的三角形解方程器或SOLVER软件系统概述解方程器或SOLVER软件系统应用举例解方程器软件包（EQNS―SOLVER）附 录On the decisionproblemandthe mechanizationoftheorem-proving inelementary geometryToward me..
?方程
... Eqn --> 方程 Eqns --> 方程 equation --> 方程式 ...
软件包
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。