搜索结果: 1-1 共查到“演绎逻辑学 proof”相关记录1条 . 查询时间(0.171 秒)
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent po...