恒等式的机器证明最早出现在1945年Sister Mary Celine Fasenmyer在密歇根大学的博士论文中。接着在1982年,Zeilberger意识到Siste......

随着科学技术的进步和移动互联网的迅猛发展，高性能计算技术在工业界和科学计算等领域发挥着越来越重要的作用。鉴于这些应用领域中......

随着各领域科学研究的开展,科技文献数据日益受到相关学者的关注。因为科技文献中隐藏着非常丰富的有价值的信息,对其进行深入挖掘......

随着我国医学信息学的发展,医学信息系统在各级医疗机构中得到了广泛的应用。这些医学信息系统记录了临床诊疗过程中的各种医疗活......

所谓递推法，就是根据前后项之间的关系，从前面的已知项（一或多项）推导出下一项，直到最终结果。递推算法具有编程思路清析、程序运行效率......

【摘 要】众所周知，数学是所有学科之父，在很多的工程应用之中，数学往往占据十分重要的位置。今天，全世界都进入了信息时代，而信息时代......

计算机的绘图是从上个世纪中旬开始进入中国绘图领域的,经过半个世纪的设备研制、理论探讨、软件开发,形成了一种新的制图技术应用......

数据挖掘技术是智能电网的基础算法，通过对电网大数据的挖掘处理，我们可以在全面的电网数据中分析出电网的精确运行状态，从而使得计算......