首页> 外文OA文献 >Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning

【2h】

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning

机译：用符号和数值推理相结合解决几何问题

页面导航

著录项
相似文献
相关主题

著录项

作者
Shachar Itzhaky; Sumit Gulwani; Neil Immerman; Mooly Sagiv;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Reasoning with Numeric and Symbolic Time Information [J] . MALEK MOUHOUB Artificial Intelligence Review: An International Science and Engineering Journal . 2004,第1期

机译：用数字和符号时间信息进行推理
2. Think！：A unified numerical-symbolic knowledge representation scheme and reasoning system [J] . Christian Vilhelm, Pierre Ravaux, Daniel Calvelo Artificial intelligence . 2000,第1a2期

机译：思考！：统一的数字符号知识表示方案和推理系统
3. Think!: A unified numerical-symbolic knowledge representation scheme and reasoning system [J] . Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Artificial intelligence . 2000,第1a2期

机译：思考！：统一的数字符号知识表示方案和推理系统
4. Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning [C] . Shachar Itzhaky, Sumit Gulwani, Neil Immerman, International conference on logic for programming, artificial intelligence, and reasoning . 2013

机译：结合符号推理和数字推理解决几何问题
5. The relationship between visual -spatial reasoning ability and math and geometry problem-solving [D] . Markey, Sean M. 2009

机译：视觉 - 石空间推理能力与数学与几何问题解决的关系
6. From Non-symbolic to Symbolic Proportions and Back: A Cuisenaire Rod Proportional Reasoning Intervention Enhances Continuous Proportional Reasoning Skills [O] . Roberto A. Abreu-Mendoza, Linsah Coulanges, Kendell Ali, 2021

机译：从非符号到象征性比例和背部：一个详细的菜单棒比例推理干预增强了连续比例推理技能
7. High-Concentration Chemical Computing Techniques for Solving Hard-To-Solve Problems, and Their Relation to Numerical Optimization, Neural Computing, Reasoning Under Uncertainty, and Freedom Of Choice [O] . Kreinovich Vladik, Fuentes Olac 2011

机译：解决难以解决问题的高浓度化学计算技术及其与数值优化，神经计算，不确定性推理和自由选择的关系
8. Method for developing integrated numeric and symbolic models for fault diagnostic reasoning. [R] . Stratton, R. C., Jarrell, D. B. 1990

机译：开发用于故障诊断推理的集成数字和符号模型的方法。

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning

著录项

相似文献

相关主题

期刊订阅