resources-references.md

---

title: |
  Resources: References for the course
author: George McNinch
date: 2024-01-07
abstract: |
  A bibliography for the *references* I plan to use in the course.

---

References for Representations of finite groups

• These notes [@milnej.s.GroupTheory] Group Theory Notes are available on-line; Chapter 7 contains a treatment of representations of finite groups.

• [@jamesRepresentationsCharactersGroups2001]

• [@serreLinearRepresentationsFinite1977]

• I hope to briefly discuss the Fast Fourier Transform, and I'll probably follow [@ceccherini-silbersteinDiscreteHarmonicAnalysis2018] for that discussion.

References for Error correcting codes

• [@huffmanFundamentalsErrorCorrectingCodes2003] is available electronically at Tisch Library

• [@ballCourseAlgebraicErrorCorrecting2020]

• These notes of Spence [@spenceIntroductionAlgebraicCoding2002] are available here

• [@tsfasmanAlgebraicGeometricCodes2007]

References for Formalization of mathematics

For our discussion of proof assistants and formalization of math, I'm going to use the Lean language; the Lean community web site is here: https://leanprover-community.github.io/.

Learning resources for Lean may be found here. They include the following:

• [@avigadMathematicsLeanMathematics] Mathematics in Lean

• [@avigadTheoremProvingLean] Theorem Proving in Lean

• [@macbethMechanicsProof] The Mechanics of Proof

Bibliography

::: {.refs} :::