32 citations · 100 across the 24 of their papers we have counts for
1 paper · 1 filter
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
We provide a constructive treatment of basic results in the theory of central simple algebras. One main issue is the fact that one starting result, Wedderburn's Theorem stating tha…