理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-6 共查到数理逻辑与数学基础 short Proof相关记录6条 . 查询时间(0.093 秒)
I. P. GOULDEN, D. M. JACKSON AND R. VAKILConjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the \polynomiality" of Hurwitz numbers, from which we pick...
I. P. GOULDEN, D. M. JACKSON AND R. VAKILConjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the \polynomiality" of Hurwitz numbers, from which we pick...
Every submartingale S of class D has a unique Doob-Meyer decomposition S = M + A, where M is a martingale and A is a predictable increasing process starting at 0.
A standard Hilbert-space proof of Dirichlet’s principle is simplified, using an observation that a certain form of min-problem has unique solution, at a specified point. This solves Dirichlet’s proble...
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...
Let K be a field and let m0, ...,mn be an almost arithmetic sequence of positive integers. Let C be a toric variety in the affine (n + 1)-space,defined parametrically by x0 = tm0 , . . . , xn = tmn. I...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...