The agda-unimath library

• UpdatedMar 3, 2025
• Agda

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...

• UpdatedMar 10, 2025
• C#

A computer algebra system in Smalltalk

• UpdatedMar 14, 2025
• Smalltalk

Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!

• UpdatedMar 6, 2025
• Julia

♾ (prototype of) library for finite algebra

• UpdatedMay 16, 2024
• Python

Finite group study, abelians or not, quotient group, direct product and many more...

• UpdatedMar 26, 2022
• C#

Small Groups study in Julia

• UpdatedSep 30, 2022
• Julia

Bruteforce algorithm for creating all elements of a group presented by generators and relations.

• UpdatedOct 21, 2022
• C#

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.

• UpdatedMay 12, 2022
• GAP

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.

• UpdatedMar 22, 2019
• C

Bruteforce algorithm for creating all elements of a group presented by generators and relations.

• UpdatedAug 29, 2022
• C#

I have compiled (hehe) some interesting code developed throughout my time in the degree I studied.

• UpdatedFeb 28, 2024
• R