书籍简介:

中学教辅。可持续发展的几何自动推理平台（SGARP）支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则，以发展多种多样基于规则的机器自动推理或人机交互推理方法。为进一步提高SGARP的推理能力和扩展其适用范围，提出一种在SGARP中实现符号计算功能的快捷方法，并成功添加了质点法、向量法和解析法推理模块。

书籍规格:

书籍详细信息
书名	中学数学中解析法、向量法和质点法的自动化推理站内查询相似图书
	9787221157232 如需购买下载《中学数学中解析法、向量法和质点法的自动化推理》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	贵阳	出版单位	贵州人民出版社
版次	1版	印次	1
定价(元)	39.0	语种	简体中文
尺寸	17 × 24	装帧	平装
页数		印数

书籍信息归属:

中学数学中解析法、向量法和质点法的自动化推理是贵州人民出版社于2019.12出版的中图分类号为 G634.603 的主题关于中学数学课－教学参考资料的书籍。