搜索结果: 1-2 共查到“数理逻辑与数学基础 refinement”相关记录2条 . 查询时间(0.031 秒)
Let $p$ be an odd prime. In 2008 E. Mortenson proved van Hamme's following conjecture: $$\sum_{k=0}^{(p-1)/2}(4k+1)\binom(-1/2,k)^3=(-1)^{(p-1)/2}p (mod p^3).$$ In this paper we show further that $$\s...
A geometric refinement of a theorem of Chekanov
A geometric refinement theorem of Chekanov
2010/11/9
We prove a conjecture of Barraud and Cornea in the monotone setting, refining a result of Chekanov on the Hofer distance between two Hamiltonian isotopic Lagrangian submanifolds.