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

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

实时空中的多重向量代数在集对分析中的应用

联系数是赵克勤先生在其专著<集对分析及其初步应用>中所提出的一个重要的数学工具,属于系统论和方法论的范畴,旨在统一处理由于模糊、随机、中介和信息不完全所导致的不确定性度量.试图将Venzo de Sabbata教授所采用的与Dirac代数同构的实时空中的多重向量代数应用于集对分析中的联系数,从而相应地推广了联系数的范畴.     

模糊蕴涵算子及其构造(Ⅱ)--模糊蕴涵算子的伴随对及其圈乘算子

验证了15个有可能存在伴随对的模糊蕴涵算子的保存在交性质,结果表明它们都满足保存在交性质.求出了这15个模糊蕴涵算子的伴随对,得到了14个模糊蕴涵算子.给出了一种构造模糊蕴涵算子的方法,并求出了在这种构造方法下,由46个模糊蕴涵算子构造得到的模糊蕴涵算子及这46个模糊蕴涵算子的圈乘算子,共构造出89个模糊蕴涵算子.     

学习迁移理论在高等代数教学中的应用

为了促进学习的正迁移,防止学习负迁移,并形成完整的认知结构,研究了学习迁移理论在高等代数教学中的应用策略,提出强化概念的类比,强化定理的类比,培养归纳总结能力,培养发散思维能力等具体措施.通过学习的正迁移,极大地提高了学生的学习兴趣,培养了数学探究能力,取得了较好的教学效果.     

李超代数的Fox导子的一些性质

设F是李超代数Ai(i∈I)和自由李超代数G的自由和,N是F的理想满足N∩Ai=1,(i∈I).设U(F)是F的泛包络代数,NU是N生成的U(F)的理想.研究了李超代数F的一个元素v,满足Dk(v)≡0 modNU,(k∈I∪J),其中Dk:U(F)→U(F)(k∈I∪J)是U(F)的Fox导子,得到了李超代数的Fox...     

有限维模李超代数U的导子超代数

构造了有限维模李超代数U,给出并证明了模李超代数U的生成元集,进而确定了模李超代数U的导子超代数.     

第一类李拟代数的Frattini子代数与c可补子代数

把Frattini理论推广到第一类李拟代数,得到了第一类李拟代数的Frattini子代数的若干性质,并研究了第一类李拟代数的c可补子代数的重要性质,给出它们之间的重要关系.     

完备李超代数

对完备李代数进行系统研究之后,它的一些结果推广到与李代数密切相关的李超代数上,形成了完备李超代数。但完备李超代数的研究仅仅是开始,简要介绍了完备李超代数的较为系统的研究。     

高等代数在抽象代数教学中的应用

高等代数为抽象代数教学提供了很多模型和例子,本文从变换、等价关系、群、环、域、零因子和环上的运算规律等方面具体阐述如何在抽象代数教学中应用高等代数知识.     

一类串行生产线的最优调度问题的注记

讨论了串行生产线的最优调度问题，给出了生产线生产周期的显示公式，给出两个变量时最优调度的解的特性。