计算机辅助推导相关论文
利用计算机推导出环形电场轴向所有三阶象差系数具体解析表达式,所有软件色均用人工智能语言Arity-Prolog编制,并简要地介绍了该软件包推导象差系......
利用自行研制的软件包推导出非均匀扇形磁场所有三阶象差系数的具体解析表达式。纠正了国外学者手工推导的径向三阶象差系数的6项错......
本文从理论上推出非均匀扇形磁场的四阶轨迹方程,通过符号运算和逻辑推理计算机自动设立待定解推出四阶的G-S关系,手工反解出四阶的S-G规则......