Résultats de la recherche - Sun, Zeming

The Absolute Anabelian Geometry of Virtual Curves Arising from Sections of Arithmetic Fundamental Groups of Configuration Spaces par Sun, Zeming

Accéder au texte intégral

The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus par Sun, Zeming

Accéder au texte intégral

Optimal bend-and-break for foliations par Liu, Jihao, Sun, Zeming, Jiang, Jiedong

Accéder au texte intégral

Kinetic Insights into Bridge Cleavage Pathways in Periodic Mesoporous Organosilicas par Sun, Zeming, Connolly, Aine, Thompson, Michael O.

Accéder au texte intégral

On some open problems in commutative algebra resolved by Rethlas par Jiang, Jiedong, Li, Yixiao, Sun, Zeming, Wang, Yuefeng, Xiao, Liang, Yu, Jiahong

Accéder au texte intégral

Microscopic Investigation of rf Vortex Nucleation in Nb3Sn Films Using a Near-Field Magnetic Microwave Microscope par Wang, Chung-Yang, Sun, Zeming, Oseroff, Thomas, Liepe, Matthias U., Anlage, Steven M.

Accéder au texte intégral

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving par Gao, Guoxiong, Sun, Zeming, Jiang, Jiedong, Wang, Yutong, Xu, Jingda, Wu, Peihao, Dai, Bryan, Dong, Bin

Accéder au texte intégral

Automated Conjecture Resolution with Formal Verification par 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

Accéder au texte intégral