关于(R)3中Lagrange插值适定结点组结构问题的研究

以献[1～6]为基础进一步讨论R^3中Lagrange插值适定结点组的结构问题，提出了代数曲面充分相交和沿空间代数曲线插值的基本概念，并将代数几何中名的Cayley-Bacharach定理推广到了R^3中，利用所得推广定理，给出了构造沿空间代数曲线和沿代数曲面插值适定结点组的最一般性方法和若干方便实际使用的推论，搞清了R^3中Lagrangc插值适定结点组的几何结构和基本待征，同时这些构造方法也推广了献[2]和[6]中的主要结果。     

立体几何定理的计算机证明

在欧氏几何和向量空间中，结合二者的关系，把几何问题转换的代数问题，利用MATLAB的相关知识，编写源代码文件，用计算机证明立体几何的直线垂直于平面的判定理，为机器证明定理提供了一个实例。     

二阶曲面类型判别的机械化

<正> 一问题的提出随着电子计算机的广泛应用,如何用电子计算机来解决几何问题、证明几何定理,已是广大数学工作者十分关注的问题。吴文俊先生在这方面的研究,为我们解决这一课题开辟了美好的前景。他在八四年八月提出了几何机械化的一系列理论问题。得出了实现几何机械化的三大步骤:首先,建立生标系、选取数系,使几何问题、几何定理的证明代数化;其次,是将几何定理已知部分的代数关系式进行整理,再依确定的步骤验证结论部分的代数关系     

一类代数几何码的伴随式阵列

主要讨论了一点代数几何码的伴随式阵列及其上的线性递推关系。通过缩简多项式概念的建立和理想这个数学概念的运用，将译码时真正需要的线性递推关系和这种伴随式阵列固有的线性递推关系区别开来，达到了从一点代数几何码的伴随式阵列的线性递推关系中将其固有的线性递推关系剔除掉的目的。在定理５的证明中还蕴涵了寻找一个多项式的缩减多项式的算法，这些结果对进一步研究Ｆｅｎｇ等提出的译码算法和Ｓｋａｔａ等提出的译码算法有     

一类3次代数曲线的光滑拼接及保凸性

研究了具有几何约束的一类3次代数曲线的光滑拼接及保凸性问题,得到2条3次代数曲线的G1、G2光滑拼接定理,以及2条3次代数曲线光滑拼接的保凸性定理和多条3次代数曲线光滑拼接的全凸性定理.     

行列式函数几何意义应用于微积分的一点注记

探讨将行列式、向量代数、解析几何与微积分结合起来,用于微积分定理的证明,通过微分中值定理的归一性和微分中值定理与积分中值定理的联系等实际例子,讨论了行列式函数几何意义的应用.     

复分析与代数几何

本书是1977年初版本的平装重印本。原版本是为庆贺K．Kodaira教授60寿辰而出版的专题论文集。Kodaira是当代著名数学家，代数几何和复分析领域的国际权威学者。他在代数簇和复流形理论的研究中作出了决定性的贡献，重要工作有：调和积分论及其对于代数簇和Kahler簇的应用、消没定理、Hodge簇的射影嵌入、形变理论及紧复解析曲面理论等。他的主要论著被汇集为三卷本的论文选集出版。     

表代数与特征标表

利用表代数的方法由群的特征标代数的结构常数求出特征标表，进而用表代数统一了特征标理论中若干基本结果，如Ｂｕｒｎｓｉｄｅ公式，Ｂｒａｕｅｒ－Ｂｕｒｎｓｉｄｅ定理，Ｇａｒｒｉｓｏｎ定理等，还从特征标的取值出发给出了刻划群的ＣＦ－对的新条件。     

拉格朗日中值定理的新证明

拉格朗日中值定理是微分学中一个应用广泛的重要定理.本文从拉格朗日中值定理的几何意义出发,通过几何直观,把数学分析.高等代数、空间解析几何知识有机的结合起来,改变传统的构造函数差的方法,通过构造新的函数(行列式函数)得出定理的新证明,并给出了此种构造方法的推广.     

矩阵与解线性方程组

线性代数的核心内容是解线性方程组。在寻求线性方程组解的存在定理和求解方法的过程中而产生的行列式理论和矩阵理论构成了线性代数的基本理论。显然，线性方程组的解与其系数和常数项有关。这本来是一个纯代数问题，通过把这个纯代数问题与几何结合起来，在求解线性方程组的过程中从整体上考虑系数与常数项的关系，应用行列式、矩阵理论，使线性...     

关于点列和线束的交比相等定理在无穷远元素下的证明及其应用

本文给出了成透视对应的点列和线束的交比相等定理,在无穷远元素情形下的代数法证明,补充了高等几何中的一个重要定理,在一些高等几何教材中未涉及的不够严密的方面。并为本定理在整个射影平面上的应用,给出了重要的实例。     

蝴蝶定理

本文运用代数方法,利用几何画板和CAD软件,描述蝴蝶定理,给出了蝴蝶定理的证明和图形、讨论蝴蝶定理的实质,并且进一步讨论在圆锥曲线中的蝴蝶定理和一些蝴蝶定理的推广,阐述了蝴蝶定理中的数学美和其数学的教育价值     

若当标准型的几何证法

文章利用辗转相除法和代数学基本定理得到了若当标准型的几何法证明,并指出了其在代数几何上的作用。     

关于代数几何中几个同调群的计算

对代数几何中一些同调群进行计算，给出A－S指数定理在四元数射影空间同调群上的一个应用，讨论了Cech双复形的谱序列问题。     

关于R^（n＋p）中具有平行中曲率的紧致子流形

本文运用一定的代数技巧,给出了一个较文《殴氏空间中闭子流形的拓扑》中有关定理具有更强几何结论的定理,同时得到了一个关于浸入在S~(n+p)(c)中的n维(n≥2)紧致子流形的几何结论。     

3个隐式代数曲面的四次GC1拼接及其在三通管道工程上的应用研究

用构造性代数几何方法,研究了3个截平面中有2个平行,另1个与其垂直时,3个隐式代数曲面GC1光滑拼接曲面的构造问题。得到了:GC0控制曲面存在的充分必要条件定理和光滑拼接曲面存在的充分必要条件定理。在此基础上又进行了三通管道工程上的应用研究。     

计算机怎样证明几何不等式

阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效,对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明。     

一类单参曲面族的包络的求法

由高等代数的定理引出一个推论,结合微分几何的定理,得出一类单参曲面族的包络的求法。     

代沙格定理证明的进一步探讨

代沙格定理的证明 ,目前的教材大都介绍代数法和纯几何法 ,但纯几何法要借助三维空间 ,才得以证明 .针对这一问题 ,首先归纳总结了代沙格定理证明的常见方法 ,然后利用对偶原理及对合对应 ,得出两种纯几何证明方法     

(L,Q,τ,σ)上的Urysohn度量化定理

邓自克和陈学友在一个具有逆序对合对应的完全分配的完备格上分别建立了德摩根拓扑代数(L，Q，T)和德摩根双拓扑代数(L，Q，τ，σ)．它们是一般拓扑代数的推广，本文在德摩根双拓扑代数(L，Q，τ，σ)上建立了Urysohn度量化定理，它既是德摩根拓扑代数上Urysohn度量化定理的推广，又包含Kelly中经典双拓扑空间中Urysohn度量化定理作为特例．