#区块链#零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
#Awesome#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
Tools for exploiting Morphological Symmetries in robotics
#算法刷题#Permutation puzzles in shapes of the platonic solids with a generic polynomial time solver.
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"
The human-friendly Rubik's cube computer (WIP)
#算法刷题#Lectures for the "Problem Solving" Class at Nanjing University.
Official PyTorch implementation of Bispectral Neural Networks, ICLR 2023
A phonon irreducible representations calculator
#算法刷题#A package for quickly constructing k·p models of magnetic and non-magnetic crystals
What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, minimalistic rings and fields manipulations, polynomials factori...
many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets