机译:通过符号数字计算方法证明循环程序的整体正确性并生成前提条件
机译:用Adomian分解法求解线性和非线性积分方程组的Maple程序
机译:解决大型多体系统最优控制问题的符号数字间接方法-时间最佳赛车示例
机译:一种采用自洽基法求解二维特征值问题的MAPLE符号数字程序
机译:非Born-Oppenheimer自洽场方法的发展以及对阳离子和阴离子的溶剂化的计算簇研究。
机译:用Poisson-Boltzmann静电学对电荷分子进行隐式溶剂化的自洽相场方法
机译:毕达哥拉斯的困境,符号数字计算和边界基础方法