理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-6 共查到数理逻辑与数学基础 formulas相关记录6条 . 查询时间(0.062 秒)
Data compression and definability of types in stable and dependent formulas.
We derive a closed-form expression for all genus 1 Hurwitz numbers, and give a simple new graph-theoretic interpretation of Hurwitz numbers in genus 0 and 1. (Hurwitz numbers essentially count irred...
Supercharacter formulas for pattern groups。
The present paper gives two concrete formulas for the volume of an arbitrary spherical tetrahedron, which is in a 3-dimensional spherical space of constant curvature $+1$. One formula is given in term...
We explicitly give factorization formulas for higher depth determinants, which are defined via derivatives of the spectral zeta function at non-positive integer points, of Laplacians on the n-sphere i...
We give two contructions of sets of masks on cograssmannian permutations that can be used in Deodhar's formula for Kazhdan-Lusztig basis elements of the Iwahori-Hecke algebra. The constructions are re...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...