出版社：贵州人民出版社
年代：2019
定价：39.0
中学教辅。可持续发展的几何自动推理平台（SGARP）支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则，以发展多种多样基于规则的机器自动推理或人机交互推理方法。为进一步提高SGARP的推理能力和扩展其适用范围，提出一种在SGARP中实现符号计算功能的快捷方法，并成功添加了质点法、向量法和解析法推理模块。
| 书籍详细信息 | |||
| 书名 | 中学数学中解析法、向量法和质点法的自动化推理站内查询相似图书 | ||
| 9787221157232 如需购买下载《中学数学中解析法、向量法和质点法的自动化推理》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 贵阳 | 出版单位 | 贵州人民出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 39.0 | 语种 | 简体中文 |
| 尺寸 | 17 × 24 | 装帧 | 平装 |
| 页数 | 印数 | ||
中学数学中解析法、向量法和质点法的自动化推理是贵州人民出版社于2019.12出版的中图分类号为 G634.603 的主题关于 中学数学课－教学参考资料 的书籍。