期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

几何学机械化方法及其应用——Ⅱ.Bertrand型曲线偶

原文传递

导出

摘要设K是一特征是零的微分域,DPS是一组微分多项式,以不定量X_(1),X_(2),…,X_(n)为变量,而系数在K中。设G是又一相同不变量X为变量的微分多项式。在K的任一微分扩充域中DPS的零点(或即方程DPS=0的解)而又非G的零点(或即G=0的解)的全体将记作Zero(DPS/G)。

作者吴文俊

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

出处《科学通报》 1986年第17期1281-1284,共4页 Chinese Science Bulletin

关键词 Bertrand型曲线偶微分域几何学机械化方法

分类号 O174.13 [理学—基础数学]

引文网络
相关文献

1陈明帅,田聪,熊英飞.形式化方法与应用专题前言[J].软件学报,2025,36(8):3429-3430.
2吴文俊.几何学机械化方法及其应用——Ⅰ.欧氏与非欧几何中的距离、面积与体积[J].科学通报,1986(14):1041-1044.
3王晓东.煤矿综合机械化采煤技术研究[J].矿业装备,2025(3):75-77.
4А.М.切爾必果列夫,Б.А.洛任特列切爾,殷俊(译).社會主義的採煤技術[J].科学通报,1953(10):68-75.
5谭代明,杨锦华.涉及零点和微分多项式的全纯函数族的正规定则[J].理论数学,2025,15(8):1-7.
6庞学诚.微分多项式的正规定则[J].科学通报,1988(22):1690-1693. 被引量：11
7王东明,胡森.初等几何与初等微分几何次序关系定理的机械化判定[J].科学通报,1985(11):877-877.
8胡森,王东明.有理数域及其代数扩域上的快速因子分解[J].科学通报,1985(20):1525-1529.

科学通报

1986年第17期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部