搜索结果: 1-1 共查到“数理逻辑与数学基础 Buildings”相关记录1条 . 查询时间(0.015 秒)
For an arbitrary Euclidean building we define a certain combing, which satisfies the `fellow traveller property' and admits a recursive definition. Using this combing we prove that any group acting f...