算法机械化相关论文
【摘要】数学的特点决定了数学的实用价值和教育价值,高师计算教学应该重视理性分析,构建合理的计算模式,严格进行有效的机械化训......
根据《九章算术》及其刘微注中“方程”解的模型构造，将其算法设计成现代计算机语言程序，并评价了刘微对算法机械化的贡献。......
《九章算术》给出了“方程”的“遍乘直除”程序，开创了此后中国数学这一领域中辉煌成就的先河．刘徽在此基础上创造了“互乘相消法”......
贯穿在整个数学发展历史过程中有两个中心思想：一个是公理化思想；另一个是机械化思想。公理化思想导源于希腊欧几里得（Ｅｕｃｌｉｄ）的西方数学，约公......
本文探讨率之概念及有关算法，各种比例应用问题的解法程序都可归为率的最基本算法今有术及其算法原理齐同术，从而表现出在机械化程序......
现代计算学科大家族中有许多分支,如并行计算、网格计算、高性能计算、情感计算、虚拟计算、移动计算、云计算、移动云计算……但......
