位置：成果数据库 > 期刊 > 期刊详情页
Tarski模型外的一类机器可判定问题
  • 期刊名称：中国科学A辑:数学,37(5):513-522, 2007.
  • 时间：0
  • 相关项目：从近似值获取准确值的理论，方法及其应用
同期刊论文项目
从近似值获取准确值的理论，方法及其应用
期刊论文 18 会议论文 5 获奖 1
同项目期刊论文
Spectral properties and geometric interpretation of R-filters
采用近似计算获得准确值
采用近似方法的准确实代数数表示及其应用
代数数极小多项式的近似重构
线性程序的Ranking函数自动合成
高效符号数值混合计算系统研究与设计
基于NTL算法库的多元多项式因式分解高效实现
一种网格-Web转换器的研究与设计
单变元多项式方程的高效区间牛顿算法
R-滤子的谱及几何性质
基于决策树算法确定一个最小神经网络
关于5次对称形式正性的机器判定
Obtaining exact value by approximate computations
A class of mechanically decidable problems beyond Tarski’s model
Obtaining exact interpolation multivariate polynomial by approximation
一类循环条件非线性的程序终止性
一种改进的多项式实根隔离算法