Search Results - Sun, Zeming
- Showing 1 - 8 results of 8
-
1
The Absolute Anabelian Geometry of Virtual Curves Arising from Sections of Arithmetic Fundamental Groups of Configuration Spaces Autoría: Sun, Zeming
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus Autoría: Sun, Zeming
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Optimal bend-and-break for foliations Autoría: Liu, Jihao, Sun, Zeming, Jiang, Jiedong
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Kinetic Insights into Bridge Cleavage Pathways in Periodic Mesoporous Organosilicas Autoría: Sun, Zeming, Connolly, Aine, Thompson, Michael O.
Published 2023Fuente: arXivTipo de material: PreprintAcceso al recurso -
5
On some open problems in commutative algebra resolved by Rethlas Autoría: Jiang, Jiedong, Li, Yixiao, Sun, Zeming, Wang, Yuefeng, Xiao, Liang, Yu, Jiahong
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
6
Microscopic Investigation of rf Vortex Nucleation in Nb3Sn Films Using a Near-Field Magnetic Microwave Microscope Autoría: Wang, Chung-Yang, Sun, Zeming, Oseroff, Thomas, Liepe, Matthias U., Anlage, Steven M.
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
7
LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving Autoría: Gao, Guoxiong, Sun, Zeming, Jiang, Jiedong, Wang, Yutong, Xu, Jingda, Wu, Peihao, Dai, Bryan, Dong, Bin
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
8
Automated Conjecture Resolution with Formal Verification Autoría: Ju, Haocheng, Gao, Guoxiong, Jiang, Jiedong, Wu, Bin, Sun, Zeming, Liu, Shurui, Chen, Leheng, Wang, Yutong, Wang, Yuefeng, Wang, Zichen, He, Wanyi, Wu, Peihao, Xiao, Liang, Liu, Ruochuan, Dai, Bryan, Dong, Bin
Published 2026Fuente: arXivTipo de material: PreprintAcceso al recurso