几何建模与代数几何

几何建模与代数几何的研究对象都由代数方程定义，但两者研究方法和侧重点各不相同，代数几何注重理解对象的理论性质，几何建模着重于实际应用，因此传统上将它们看作互不关联的两个领域。近几年来，出现了两个领域互相影响、互相促进的趋势，例如解决相交问题的算法就得益于代数几何的理论成果。为了推进两个领域研究的交流和合作，欧洲数学界2001-2005期间召开了一系列与此有关的工作会议，本书就是这些学术活动产生的论文汇集，主要论文来自2005年奥斯陆会议，主题是应用近似代数方法建立基于信息应用的几何相交算法。     

BCI—代数的理想和同余

本文首先证明了BCI—代数的理想分解定理,然后研究了BCl—代数的几种同余之间的关系和特征。     

剩余半坡

本文提出半坡(p,+,·),在半坡上引进算子“∝”,“■”,得到的代数系统(p,+,·,∝,■)称为剩余半坡,本文给出剩余半坡p的一些基本性质,且证明了(Mn(p),+,·)是剩余半坡。     

关于P（Δ）的强端点的性质

本文首先引进了单位园Δ上算子值解析函数族：Ｐ（Δ）＝｛ｆ（Ｚ），ｆ（Ｚ）＝Ｉ＋Ｂ（１）Ｚ＋Ｂ（２）Ｚ＾２＋…在Δ内解析，且Ｒｅｆ（Ｚ）〉０，Ｂ（ｎ）为Ｈｉｌｂｅｒｔ空间Ｈ上的正规算子，ｎ＝１，２…｝的强端点的概念，然后指出Ｐ（Δ）中形如Ｉ＋Ｂ（ｎ）Ｚ＾ｎ＋Ｂ（ｎ＋１）Ｚ＾ｎ＋１＋…的元素成为Ｐ（Δ）的一个强端点的必要条件为Ｂ（ｎ）不是自伴可逆算子。     

BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

一类同余方程nΣ（i=1）（aixi^2）≡d（modp）的解数

本文给出了ｎ顶二次同余方程模ｐ的解数。     

双参数量子代数SUqs（1,1）的表示：正离散序列

本文通过构造双参数量子群ＳＵｑｓ（１，１）生成元的ｑｓ－Ｂｏｓｏｎ实现，给出了ＳＵｑｓ（１，１）的正离散序列表示。     

su(1,1)代数的无限维Schwinger实现

运用su(1,1)代数的无限维Bose和Fermi算符实现,得到对称和反对称无限维矩阵的行列式.