该文运用Robinson的归结原理,分别用Prolog与Lisp实现了两个格上的定理证明系统——TPSL1和MTPSL2。其中,TPSL1采用深度优先、从左......

该文主要讨论了酉群U(1,n;C)上的Jorgensen不等式的建立及其应用.在第一章中,讨论了酉变换的一些基本性质.在第二章中,得到了一个......

本文主要研究复空间上离散群的极限集，首先我们得到了复双曲群是初等群的充要条件，这是作用在实双曲空间上的等距变换群的相应结论的......

讨论了二元生成Mǒbius子群(f，g)的离散性、初等性与三元数组(β(f)，β(g)，γ(f，g))的关系，得到了集合E的一些性质，给出了集合D∩E1的具......

研究了Hadamard流形上的等距群Isom(X)，证明了一些有关初等群及离散性的定量，将Beardon有关Moebius群的几个重要定理推广到了Hadamrd......

本文研究n维Mbius群的一类子群——纯双曲群.并推广了平面纯双曲群的一个重要定理。...

利用高维Mbius变换群中的Clifford矩阵表示,在二元生成群中当f是双曲元素或严格抛物元素,且f和g有公共不动点时,对f和g的不动点,......

本文利用 ｄｉｆｆｏｒｄ矩阵，得出三维初等群的分类，此外，并对特殊椭圆群进行表示．......

在条件Ｂ之下，本文得到了Ｃｌｉｆｆｏｒｄ矩阵群，即ｎ维Ｍｏｂｉｕｓ群的非初等子群列｛Ｇｍ｝的几个代数收敛定理，并且证明了一致有界找群列满足离散群所必须满足的条件Ｂ。......