零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

The agda-unimath library

Planning for an entire maths LaTeX book

Permutation puzzles in shapes of the platonic solids with a generic polynomial time solver.

Isomorphism testing and automorphisms of graphs

Tools for exploiting Morphological Symmetries in robotics

On-the-fly generator of space-group irreducible representations

A package for tight-binding model of magnetic and non-magnetic materials

Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"

Lectures for the "Problem Solving" Class at Nanjing University.

Official PyTorch implementation of Bispectral Neural Networks, ICLR 2023

Computational Group Theory in Scala. It's Scala permuted!

A package for quickly constructing k·p models of magnetic and non-magnetic crystals

A phonon irreducible representations calculator

Permutations of finitely many positive integers

What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, minimalistic rings and fields manipulations, polynomials factoring, fields extensions and many more...

many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets

This is where Spencer writes his math papers.