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