2 papers
math.OA2025
The continuous functional calculus in Lean
Anatole Dedecker, Jireh Loreaux
The continuous functional calculus is perhaps the most fundamental construction in the theory of operator algebras, especially -algebras. Here we document our formalization…
stat.ME2022
The robusTest package: two-sample tests revisited
Sinda Ammous, Olivier Bouaziz, Anatole Dedecker +4
The R package robusTest offers corrected versions of several common tests in bivariate statistics. We point out the limitations of these tests in their classical versions, some of…