cyclic-groups

Here are 3 public repositories matching this topic...

Lynette7 / diffie-hellman

Eve has got nothing on this implementation of Diffie-Hellman!😃🤓

cryptography blockchain rust-lang aes-encryption diffie-hellman diffie-hellman-algorithm cyclic-groups blockchain-security-solutions

Updated Aug 30, 2024
Rust

BaseMax / OnFiniteWCyclicGroupsResearch

Sponsor

Star

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 group-theory finite-group gap-system finite-groups cyclic-group cyclic-groups gapsystem grouptheory

Updated May 12, 2022
GAP

asim-v / fuglede-z180-formal

Star

Kernel-checked Lean 4 proof of Fuglede's conjecture for Z/180Z, with exact source certificates and paper.

formal-verification tilings harmonic-analysis lean4 cyclic-groups fuglede-conjecture spectral-sets

Updated Aug 29, 2026
Lean

Add this topic to your repo

To associate your repository with the cyclic-groups topic, visit your repo's landing page and select "manage topics."

Learn more