Pseudo-division machine (I): A model of symbolic computation

被引：0
|
作者：
She, ZK [1 ]
Xia, BC [1 ]
Zheng, ZM [1 ]
机构：
[1] Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China
来源：
MATHEMATICAL SOFTWARE, PROCEEDINGS | 2002年
关键词：
D O I：
10.1142/9789812777171_0012
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Through careful study of the theory of real Turing machine and the algorithm of pseudo-division, we define a new machine, called pseudo-division machine, which is a formal model of computation over ring. Especially, it applies to symbolic computation and it represents algorithms naturally. Some fundamental concepts are defined and some primary results presented.
引用
收藏
页码：115 / 125
页数：11
相关论文
共 50 条
12345