Galois Groups and the Symmetries of Polynomials

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
  • mathlib

    Lean mathematical components library

    Hey this is really cool. I want to start doing the same thing.

    Visual group theory is a really nice book for intuition. Also, the YouTube series "Essence of Group Theory" can help in this same line.

    What I also want to do while self learning is formalizing some theorems and definitions in Lean. Even just looking at how they're already defined in mathlib [1] can be of great help when internalizing the concepts.

    https://github.com/leanprover-community/mathlib/blob/292e3fa...

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts