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

C++ library for semigroups and monoids

🔢 This repository contains easy-to-follow Number Theory problems solved using MATLAB.

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

🔢 School project (TUL)

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

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

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

SE Project based on Social Technical Congruence

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

🧮 Tools to help Discrete Mathematics computations.

Chebyshev polynomials of the first kind and primality testing

Test lattice identity holding in lattice of congruences of automaton

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

Congruences of Partitions: Rank Differences and Cubic Partition Pairs

Python bindings for the C++ library libsemigroups

Idempotent and Regular Numbers