finite-groups
There are 11 repositories under finite-groups topic.
UniMath/agda-unimath
The agda-unimath library
aidevnn/FastGoat
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...
kalmarek/SymbolicWedderburn.jl
Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!
mildsunrise/finite-algebra
♾ (prototype of) library for finite algebra
aidevnn/FineGrain
Finite group study, abelians or not, quotient group, direct product and many more...
aidevnn/FuriousGenius
Small Groups study in Julia
aidevnn/FinitelyPresentedGroup
Bruteforce algorithm for creating all elements of a group presented by generators and relations.
BaseMax/OnFiniteWCyclicGroupsResearch
By using this program I achieved our research result and I give a talk at the 5th International Conference on Mathematical Advances and Applications in Istanbul, Turkey.
aidevoops/finitely-presented-group
Bruteforce algorithm for creating all elements of a group presented by generators and relations.
asevillasastre/UCM-Math-Engeenering-Degree-Catchall
I have compiled (hehe) some interesting code developed throughout my time in the degree I studied.
Yalikesifulei/dm_group_theory_solvers
Solvers for two group theory problems: find all homomorphisms Z/nZ to Z/mZ additive groups; find Z/nZ ring multiplicative group, factorize it by cyclic subgroup and print Cayley table for factor-group.