This book represents the first treatment of computable analysis at the graduate level within the tradition of classical mathematical reasoning and provides an introduction to research in this area.Expand

Preface 1. Introduction 2. The elements of distribution theory: Section 1. Basic Definitions and Facts Section 2. Convolutions 3. Examples of distributions 4. Fourier transforms 5. Tempered… Expand

This paper deals with the computability of unitary representations of compact groups. An algorithm is given to effectively decompose a unitary representation into its irreducible parts. Difficulties… Expand

The main idea: split a group into 2 smaller pieces of lower dimensions for induction. Definition 1. A Z-module (or Zmod) is an abelian group. We use this terminology to remind us of linear algebra… Expand