代数基本定理论文

20世纪的纯粹数学：回顾与展望[*]，本文主要内容关键词为：数学论文,世纪论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。20世纪行将结束，数学正如其它所有科...

数学机械化思想的产生和发展，本文主要内容关键词为：思想论文,数学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。摘要数学问题的机械化方法一般表现为机械化程序，...

代数结构思想及其方法论意义，本文主要内容关键词为：方法论论文,代数论文,意义论文,思想论文,结构论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。1引言20世纪...

逻辑代数基本定理的证明，本文主要内容关键词为：代数论文,定理论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。由n元逻辑函数F（A[,1]，A[,2]...

吴文俊与数学机械化，本文主要内容关键词为：数学论文,吴文俊论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：N09文献标识码：A文章编号：1008-...

数学发展中的对称破缺及其作用，本文主要内容关键词为：对称论文,作用论文,数学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：N09文献标识码：A文...

对抽象代数的哲学审视，本文主要内容关键词为：代数论文,抽象论文,哲学论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：N03文献标志码：A文章编号：...

余代数与模态逻辑，本文主要内容关键词为：代数论文,逻辑论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B815文献标识码：A文章编号：1...

戴德金对理想论的贡献，本文主要内容关键词为：贡献论文,理想论文,戴德金论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。[中图分类号]N0112[文献标识码]A...

数学历史的启示，本文主要内容关键词为：启示论文,数学论文,历史论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、百年前的讲演1900年8月5日，法国数学家D...

几何定理机器证明的方法——吴方法思想的形成，本文主要内容关键词为：定理论文,几何论文,机器论文,思想论文,方法论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。...

“以方程为纲，以元为序”：初中代数知识结构的重建——“GX实验”面向教学的初中代数学体系探究，本文主要内容关键词为：初中论文,代数论文,方程论文,知识结构论文,体系论文，此文献...

克劳德#183;谢瓦莱：布尔巴基巨匠、数学结构代言人，本文主要内容关键词为：巨匠论文,布尔论文,代言人论文,克劳德论文,结构论文，此文献不代表本站观点，内容供学术参考，文章仅供...

苏小超[1]2014年在《序列效应代数上的运算连续性》文中进行了进一步梳理序列效应代数是研究量子测量的重要模型。它是一种定义了二元运算序列乘积的效应代数。本文主要讨论序列乘积在某种拓扑下的运算连续性。Hilbert空间序列效应代数ε(H)是一种重要的序列效应代数。其上的序列乘积AB=A~(1/2)B...

汤晓凌[1]2005年在《集合论等式型定理机器证明系统的研究与开发》文中研究说明定理机器证明的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显着成功。关于集合论的定理机器证明研究,有关文献报道用布尔代数的方法可以把集合论的定理证明问题转化为代数问题,但是这类问题的可读证明方法...

曹永知[1]2003年在《胞腔代数的同调性质》文中进行了进一步梳理为了在公理化的框架下研究Ariki-Koike型Hecke代数及其相关代数,1996年Graham和Lehrer引入了胞腔代数的概念。粗略地说,胞腔代数是一类具有特殊性质基的有限维结合代数。这种基极大地便利了研究此类代数的表示。随后,...

陈树伟[1]2005年在《基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究》文中研究说明不确定性推理是人工智能研究领域中一个重要的研究方向,在逻辑的框架下研究不确定性推理是一种科学的研究方法。格值逻辑是一种重要的非经典逻辑,它不仅能刻画全序性信息,而且还能刻画非全序(即不可比较)的不确...

赖义生[1]2002年在《分片代数曲线与分片代数簇的若干研究》文中指出利用多元样条函数进行散乱数据插值是计算几何中一个非常重要的课题。本质上，解决多元样条函数空间的插值结点的适定性问题关键在于研究分片代数曲线，在高维空间里就是研究分片代数簇。分片代数曲线作为二元样条函数的零点集合，分片代数簇作为一些...

李春霞[1]2002年在《一族耦合的KdV方程及其对应的有限维可积系统》文中进行了进一步梳理1990年，曹策问先生在上海非线性物理国际学术会议上做了题为“通过特征值问题的非线性化产生经典可积系统”的报告，在这篇报告中他提出了非线性化方法。这种方法开始应用到很多2×2矩阵谱问题，得到了数十个...

高永存[1]2001年在《无限维李代数与广义顶点代数》文中提出Kac-Moody代数，特别是仿射李代数是一类对数学和物理产生了深刻影响的无限维李代数。本文讨论几类与仿射李代数相关的无限维李代数与广义顶点代数。全文包括第一章引言在内共由五章构成。第二章讨论仿射李代数的Cartan子代数，正则Carta...