搜索结果: 1-15 共查到“证明论”相关记录33条 . 查询时间(2.203 秒)
科睿唯安（Clarivate）最近公布了2018年全球高被引科学家名单，西安交大共4名教授入选。其中，能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单，人居学院程海教授入选地球科学领域高被引科学家名单。
西安交通大学4人入选2018年全球高被引科学家名单
西安交通大学 2018年 全球高被引科学家 名单
2018/12/13
科睿唯安（Clarivate）最近公布了2018年全球高被引科学家名单，西安交大共4名教授入选。其中，能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单，人居学院程海教授入选地球科学领域高被引科学家名单。
中国石油大学（华东）3位教授入选爱思唯尔2017年中国高被引学者榜单（图）
中国石油大学（华东） 教授 爱思唯尔 2017年 中国高被引 学者榜单 物理学 天文学 理学
2018/1/27
2018年1月19日，爱思唯尔发布2017年中国高被引学者（Most Cited Chinese Researchers）榜单，1793名最具世界影响力的中国学者入选。我校3位教授继2016年后再次入选，入榜学者总数并列全国第78位。3名入榜教授为数学学科入选者、理学院蒋达清教授，物理学和天文学学科入选者、理学院孙道峰教授，免疫和微生物学学科入选者、原化学工程学院党宏月教授。
首批国家精品在线开放课程武汉大学24门入选——入选数量居全国第二（图）
国家精品在线开放课程 武汉大学 24门 全国第二 哲学 医学 文学 历史学 理学
2018/2/2
2018年1月15日，教育部在京召开在线开放课程建设与应用推进会，宣布首批共490门国家精品在线开放课程，我校24门课程入选，入选数量居全国第二。我校被认定的国家级精品在线开放课程，均在中国大学MOOC平台上至少完成了两期教学活动，课程质量高、共享范围广、应用效果好、示范性强，涉及的学科包括哲学、医学、文学、历史学、理学、经济学、管理学、工学、法学。
Constructive Proof of Global Lyapunov Function as Potential Function
Constructive Proof Global Lyapunov Function Potential Function
2011/3/2
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...
Nuclear and type I crossed products of C*-algebras by group and compact quantum group actions
Direct proofs Feigin-Fuchs character formula unitary representations Virasoro algebra
2011/3/1
Previously we gave a proof of the Feigin–Fuchs character formula for the irreducible unitary
discrete series of the Virasoro algebra with 0 < c < 1. The proof showed directly that the mutliplicity sp...
Direct proofs of the Feigin-Fuchs character formula for unitary representations of the Virasoro algebra
Direct proofs of the Feigin-Fuchs character unitary representations Virasoro algebra
2011/3/1
Previously we gave a proof of the Feigin–Fuchs character formula for the irreducible unitary
discrete series of the Virasoro algebra with 0 < c < 1.
WZ-proofs of "divergent" Ramanujan-type series
Hypergeometric series WZ-method Ramanujan-type series for 1/ and 1/2 Barnes Integrals
2011/1/21
We prove some ”divergent” Ramanujan-type series for 1/ and 1/2 applying a Barnes-integrals strategy of the WZ-method.
On a proof of the Labastida-Marino-Ooguri-Vafa conjecture
proof Labastida-Marino-Ooguri-Vafa conjecture
2011/1/21
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 counterexample to a Penrose inequality conjectured by Gibbons
counterexample Penrose inequality Gibbons
2011/3/3
We show that the Brill-Lindquist initial data provides a counterexample to a Riemannian Penrose inequality with charge conjectured by G. Gibbons. The observation illustrates a sub-additive characteris...
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...
A proof of the continuous Dyson-Maleev representation
proof continuous Dyson-Maleev representation
2011/2/24
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...
A simple proof of a generalization of the Chu-Vandermonde identity
simple proof generalization Chu-Vandermonde identity
2011/1/18
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...
On Kadell's two Conjectures for the $q$-Dyson Product
Dyson conjecture Dyson product Kadell’s conjecture constant term q-analog
2010/12/1
By extending Lv-Xin-Zhou’s first layer formulas of the q-Dyson product, we prove Kadell’s conjecture for the Dyson product and show the error of his q-analogous conjec-ture. With the extended formulas...
In this note, we describe motivic cell structures arising from the Bia lynicki-Birula decomposition. This provides a description of stable A1-homotopy types of smooth projective Gm-varieties where the...