Прати
Kexing Ying
Kexing Ying
EPFL
Верификована је имејл адреса на epfl.ch - Почетна страница
Наслов
Навело
Навело
Година
A Formalization of Doob’s Martingale Convergence Theorems in mathlib
K Ying, R Degenne
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
22023
Strong completeness of SDEs and non-explosion for RDEs whose coefficients have unbounded derivatives
XM Li, K Ying
arXiv preprint arXiv:2502.08799, 2025
2025
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–2