23 citations · 69 across the 15 of their papers we have counts for
1 paper · 1 filter
Anatole Dedecker, Jireh Loreaux
The continuous functional calculus is perhaps the most fundamental construction in the theory of operator algebras, especially C∗-algebras. Here we document our formalization…