理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 The same type相关记录23条 . 查询时间(0.236 秒)
On characterizations of Metropolis type algorithms in continuous time
Let n be an integer and let F be a nonarchimedean local eld whose characteristic is not a prime dividing n. Let k be the group of k-th roots of unity in the algebraic closure of F; we assume that ...
We solve the eigenvalue problem of the DN type of Calogero model by mapping it to a set of decoupled quantum harmonic oscillators through a similarity transformation.In particular, we construct the ei...
We obtain some methods to construct a (strongly) proper resolution (resp. coproper coresolution) of one end term in a short exact sequence from that of the other two terms. By using this method, we p...
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...
We prove some ”divergent” Ramanujan-type series for 1/ and 1/2 applying a Barnes-integrals strategy of the WZ-method.
An edge-colored graph G is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection number of G, denoted rc(G), is the minimum number of c...
It is shown that the E8 trigonometric Olshanetsky-Perelomov Hamiltonian, when written in terms of the Fundamental Trigonometric Invariants (FTI), is in algebraic form, i.e., has polynomial coefficien...
In this paper we establish stability results for symmetric spaces of noncompact type under Ricci flow, i.e. we will show that any small perturbation of the symmetric metric is flown back to the origin...
Let T be a rooted multi-type Galton-Watson (MGW) tree of finitely many types with at least one offspring at each vertex, and an offspring distribution with exponential tails. The lambda-biased random...
We introduce a notion of a polynomial type complexity of a multivariate polynomial. We provide examples of polynomial type complexities, including the determinantal complexity. We present two algorit...
Suppose we are given a multi-dimensional It\^o process, which can be regarded as a model for an underlying asset price together with related stochastic processes, e.g., volatility. The drift and diff...
The aim of this work is to provide the first examples of $n$-dimensional varieties of wild representation type, for arbitrary $n\geq 2$. More precisely, we prove that all Fano blow-ups of $\PP^n$ at a...
We study the Ekedahl-Oort stratification for good reductions of Shimura varieties of PEL type. These generalize the Ekedahl-Oort strata defined and studied by Oort for the moduli space of principally...
In this paper we study the boundary limit properties of harmonic functions on $\mathbb R_+\times K$, the solutions $u(t,x)$ to the Poisson equation \[ \frac{\partial^2 u}{\partial t^2} + \Delta u = 0...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...