理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 证明论 >>>
搜索结果: 1-9 共查到证明论 proof相关记录9条 . 查询时间(0.062 秒)
We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge be-tween these...
We outline a proof of a remarkable conjecture of Labastida-Mari˜no-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topo...
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...
Recently Ivanov and Skvortsov introduced continuous Dyson-Maleev (DM) representations of supersymmetric non-linear sigma models and motivated that these representations are non-perturbatively exact. B...
We provide a simple proof of a generalization of the multivariate Chu-Vandermonde identity recently derived in Favaro et al. (2010a). Exploiting known results for rising factorials and fourth Lauricel...
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...
В этой методической заметке приводятся четкая формулировка и короткое доказа-тельство основного результата работы [A] (см. ниже), а также проясняется его связь с изопериметрической теоремой для плоско...
Let X denote a flag variety of type A or type C. We construct a canonical Frobenius splitting of X ×X which vanishes with maximal multiplicty along the diagonal. This way we verify a conjecture by Lak...
Let S be a complex smooth projective surface and L be a line bundle on S. G¨ottsche conjectured that for every integer r, the number of r-nodal curves in |L is a universal polynomial of four topologic...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...