共 50 条
- [41] Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
- [45] On the hyper order of solutions of a class of higher order linear differential equations ANALELE STIINTIFICE ALE UNIVERSITATII OVIDIUS CONSTANTA-SERIA MATEMATICA, 2008, 16 (02): : 15 - 30
- [48] Bounds for the Tracking Error of First-Order Online Optimization Methods Journal of Optimization Theory and Applications, 2021, 189 : 437 - 457