THE DECISION METHOD FOR REAL ALGEBRA:IS IT PRACTICAL?

机译：真实代数的决策方法：是否具有实用价值？

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Tarski's decision procedure is presented in a modified form. It is reduced to three basic methods. Each method processes a basic kind of formula of Real Algebra. The efficiency of each of these methods is discussed. Finally, an alternative to the third method, invented by Hamblin, is presented. Its efficiency is also discussed.nFor each of these methods, only a partial measure of efficiency is offered. This partial measure is itself not determined exactly, but rather to within certain bounds. The general impracticality of both the third method and its alternative is then inferred from this partial measure of efficiency. Hence the general impracticality of the whole decision procedure follows.

著录项

作者
Joel Friedman;
展开▼
作者单位

展开▼
年度 1966
页码 1-54
总页数 54
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Mathematics – Algebra - Tarski;

机译：数学 - 代数 - 塔斯基;

相似文献

外文文献
中文文献
专利

1. Preface to the special issue on 'Practical methods and rigorous theories in numerical algebra and scientific computing' [J] . Zhong-Zhi Bai, Iain S. Duff Journal of engineering mathematics . 2015,第1期

机译：“数值代数和科学计算的实用方法和严格理论”专刊的序言
2. RETRACTED ARTICLE: PREFACE TO THE SPECIAL ISSUE ON 'PRACTICAL METHODS AND RIGOROUS THEORIES IN NUMERICAL ALGEBRA AND SCIENTIFIC COMPUTING' [J] . Zhong-Zhi Bai, Iain S. Duff Journal of engineering mathematics . 2015,第1期

机译：收回的文章：关于“数字代数和科学计算的实用方法和严格理论”的专题
3. A Practical Approach for the Derivation of Algebraically Stable Two-Step Runge-Kutta Methods [J] . Dajana Contea Raffaele DAmbrosioa* Zdzislaw Jackiewiczbc amp, Beatrice Paternostera Mathematical Modelling and Analysis . 2012,第1期

机译：代数稳定的两步Runge-Kutta方法推导的实用方法
4. Study of a Practical Method for Real Estate Investment Risk Decision Making [C] . Yu Jianying, Xuan Haili 2010 International Conference on Management and Service Science . 2010

机译：房地产投资风险决策的实用方法研究
5. Functional near infrared detection of real and imagined finger taps using support vector machine, linear discriminant analysis, and decision tree classification methods [D] . Stoudenmire, Eugene A. 2013

机译：使用支持向量机，线性判别分析和决策树分类方法的真实和想象的手指抽头的近红外检测近红外检测
6. Algebraic methods for deriving steady-state rate equations. Practical difficulties with mechanisms that contain repeated rate constants. [O] . A Cornish-Bowden 1976

机译：推导稳态速率方程的代数方法。包含重复速率常数的机制的实际困难。
7. Notes for a workshop on risk analysis and decision under uncertainty. The practical use of probabilistic and Bayesian methodology inreal life risk assessment and decision problems [O] . 1979

机译：讲习班有关不确定性下的风险分析和决定的讲习班。概率和贝叶斯方法的实际应用挡境生命风险评估和决策问题
8. Notes for a Workshop on Risk Analysis and Decision under Uncertainty. The Practical Use of Probabilistic and Bayesian Methodology Inreal Life Risk Assessment and Decision Problems [R] . 1979

机译：不确定性风险分析和决策研讨会的注意事项。概率论和贝叶斯方法论在实际生命风险评估和决策问题中的实际应用

THE DECISION METHOD FOR REAL ALGEBRA:IS IT PRACTICAL?

摘要

著录项

相似文献

相关主题

期刊订阅