finite-groups

There are 0 repository under finite-groups topic.

agda-unimath
UniMath / agda-unimath
The agda-unimath library
homotopy-type-theory univalent-foundations univalent-mathematics category-theory commutative-algebra finite-groups graph-theory order-theory ring-theory structured-types higher-group-theory synthetic-homotopy-theory type-theories univalent-combinatorics number-theory group-theory trees orthogonal-factorization-systems species universal-algebra
Language:Agda 216
FastGoat
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...
finite-groups abelian-groups quotient-groups permutations semi-direct-product csharp homomorphisms automorphism-group galois-group polynomial-factoring finite-fields todd-coxeter field-extensions grobner-basis character-table field-theory group-theory multiprecision bch-codes cohomology
Language:C# 10
kalmarek / SymbolicWedderburn.jl
Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!
algebra artin-wedderburn-decomposition finite-groups
Language:Julia 8
mildsunrise / finite-algebra
♾ (prototype of) library for finite algebra
algebra python finite-groups
Language:Python 4
aidevnn / FineGrain
Finite group study, abelians or not, quotient group, direct product and many more...
group-theory permutations quotient-group quotient-groups permutation finite-groups finite-group abelian-groups
Language:C# 2
aidevnn / FuriousGenius
Small Groups study in Julia
finite-groups group-theory julia quotient-groups semi-direct-product abelian-groups permutations
Language:Julia 2
aidevnn / FinitelyPresentedGroup
Bruteforce algorithm for creating all elements of a group presented by generators and relations.
group-theory finite-groups brute-force finitely-presented-group word-problem
Language:C# 1
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.
gap gap-system gapsystem group-theory grouptheory cyclic-group cyclic-groups finite-group finite-groups
Language:GAP 1
aidevoops / finitely-presented-group
Bruteforce algorithm for creating all elements of a group presented by generators and relations.
brute-force finite-groups finitely-presented-group group-theory
Language:C# 0
asevillasastre / UCM-Math-Engeenering-Degree-Catchall
I have compiled (hehe) some interesting code developed throughout my time in the degree I studied.
algebraic-structures carmichael-numbers cryptography finite-groups graph-algorithms graphs logistics python sage simulation
Language:R
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.
group-theory finite-groups
Language:C