Kexing Ying

1. A Formalization of Doob's Martingale Convergence Theorems in mathlib
   2022/12/11 by Kexing Ying, Ying, Kexing, Rémy Degenne +1 · 2 citations
   Economics, Econometrics and Finance · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Mathematical and Theoretical Analysis #Probability (math.PR) #Stochastic processes and financial applications
2. Strong completeness of SDEs and non-explosion for RDEs with coefficients having unbounded derivatives
   2025/02/12 by Xuemei Li, Kexing Ying, Li, Xue-Mei +1 · 2 citations
   Economics, Econometrics and Finance · #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Probability (math.PR) #Stochastic processes and financial applications