𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Constructive Proof of the Leech Theorem for Rational Matrix Functions

✍ Scribed by Tavan T. Trent


Book ID
118777570
Publisher
SP Birkhäuser Verlag Basel
Year
2012
Tongue
English
Weight
206 KB
Volume
75
Category
Article
ISSN
0378-620X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A constructive proof of the Peter-Weyl t
✍ Thierry Coquand; Bas Spitters 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C\*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the cha