基于规则推演提升符号计算的研究  

Interactive Symbolic Computation Based on Rule-Based Deduction to Enhance Symbolic Calculation

作　　者：范宇恒 Fan Yu-heng(Institute of Intelligent Systems,North China Institute of Computing System Engineering,Beijing 100083,China)

机构地区：[1]华北计算机系统工程研究所智能系统所,北京100083

出　　处：《科学与信息化》2025年第3期80-82,共3页Technology and Information

摘　　要：本文提出一种交互式符号计算方法,旨在提升符号计算的可靠性与深度。该方法通过逐步揭示中间计算结果,能够提高计算过程的透明度,帮助识别潜在的错误并优化计算策略。通过案例研究,实验结果表明该方法在处理较为复杂的数学计算时表现优异,有效提升了符号计算的精度和效率。这一研究为符号计算方法的发展提供了新的视角,并具有广泛的应用前景。This paper proposes an interactive symbolic computation method aimed at improving the reliability and depth of symbolic calculations.By progressively revealing intermediate computational results,this method enhances the transparency of the calculation process,which aids in identifying potential errors and optimizing computational strategies.Through case studies,the experimental results demonstrate that this method performs exceptionally well in handling relatively complex mathematical computations,effectively improving the accuracy and efficiency of symbolic calculations.This research provides a new perspective for development the of symbolic computation methods and has broad application prospects.

关 键 词：符号计算 交互式定理证明 基于规则推演 

分 类 号：O17[理学—数学]