期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

几何学机械化方法及其应用——Ⅰ.欧氏与非欧几何中的距离、面积与体积

原文传递

导出

摘要从1977以来,作者曾发展了一种方法,对于多种初等几何与微分几何,可以机械方式有效地证明并发明定理,参阅文献[1a-e]与[2].这一机械化方法并已进一步发展到可以应用于理论以及实际上提出的各种问题,而不必要求与几何学有关(参阅文献[1f])。

作者吴文俊

机构地区中国科学院系统科学研究所

出处《科学通报》 1986年第14期1041-1044,共4页 Chinese Science Bulletin

关键词体积机械化方法初等几何微分几何距离面积

分类号 O123.1 [理学—基础数学]

引文网络
相关文献

1陈明帅,田聪,熊英飞.形式化方法与应用专题前言[J].软件学报,2025,36(8):3429-3430.
2吴文俊.几何学机械化方法及其应用——Ⅱ.Bertrand型曲线偶[J].科学通报,1986(17):1281-1284.
3王晓东.煤矿综合机械化采煤技术研究[J].矿业装备,2025(3):75-77.
4А.М.切爾必果列夫,Б.А.洛任特列切爾,殷俊(译).社會主義的採煤技術[J].科学通报,1953(10):68-75.
5王东明,胡森.初等几何与初等微分几何次序关系定理的机械化判定[J].科学通报,1985(11):877-877.
6周星哲.否的哲学:非欧几何何所非[J].自然辩证法通讯,2025,47(9):46-52.
7胡森,王东明.有理数域及其代数扩域上的快速因子分解[J].科学通报,1985(20):1525-1529.
8韩小栋,索王博,周鼎宇.基于物理参数的矿井突水逃生多级规划方法[J].陕西煤炭,2025,44(10):176-179.

科学通报

1986年第14期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部