Details
- Publications
- M. Alqurashi, N.A. Altwaijry, C.M. Edwards, and C.S. Hoskin, The Banach-Lie *-algebra of multiplication operators on a W*-algebra, Asian-Eur. J. Math., 4(2), (2011), 235--261.
- C.M. Edwards, F.J. Fernández-Polo, C.S. Hoskin, and A.M. Peralta, On the facial structure of the unit ball in a JB*-triple, J. Reine Angew. Math. 641, (2010), 123--144.
- C.M. Edwards and C.S. Hoskin, Central kernels of subspaces of JB*-triples, J. Math. Anal. Appl., 332(2), (2007), 947--964.
- C.M. Edwards and C.S. Hoskin, The central kernel of the Peirce-one space, Arch. Math. (Basel), 81(4), (2003), 416--421.
- Main contributions to Mathlib
- Order
- Topologies on a Preorder
- Functional Analysis
- Algebra
- Significant refactors
-
The Strong Dual
-
Sesquilinear Forms to Sesquilinear Maps
- leanprover-community/mathlib4#14988
- leanprover-community/mathlib4#12547
- leanprover-community/mathlib4#12132
- leanprover-community/mathlib4#12124
- leanprover-community/mathlib4#12122
- leanprover-community/mathlib4#12078
- leanprover-community/mathlib4#11280
- leanprover-community/mathlib4#11278
- leanprover-community/mathlib4#11097
-
Quadratic Forms to Quadratic Maps
-
Non-unital, non-associative algebras
-
- All Mathlib PRs