C++ library for semigroups and monoids

Chebyshev polynomials of the first kind and primality testing

Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.

🔓 Tools to help Discrete Mathematics computations.

Python bindings for the C++ library libsemigroups

Repository of all the programs taught in M2 Lab at SDMCET, 2022 - 23

Test lattice identity holding in lattice of congruences of automaton

Congruences of Partitions: Rank Differences and Cubic Partition Pairs

Zeller's congruence is an algorithm devised by Christian Zeller to calculate the day of the week for any Julian or Gregorian calendar date. It can be considered to be based on the conversion between Julian day and the calendar date.

Solutions for Simulation Lab Assignments

This is site where you can check Triangle congruence.

Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations

Contextual incongruency triggers memory reinstatement and the disruption of neural stability (2023 NeuroImage, Xiongbo Wu)

Idempotent and Regular Numbers

Simulator and plotter for linear congruential generator (LCG) functions in Python

Solving equations a*x = b (mod n) where x is non-negative integer (C++, Windows).

SE Project based on Social Technical Congruence

Finding the power of a number that, in the congruent equation, equals 1 or -1 with given modulus

🔢 School project (TUL)