Mathematics Club IITM

Current Projects

Axify

To construct an accurate topological representation of an image that can be used for image recognition and segmentation and to leverage this representation to compress image files for efficient storage.

  • We use Medial Axis and Delta Medial Axis transform to find the skeleton of an image and then use it for reconstruction.
  • Our future goals include to –
    • Explore further ways to enhance the compression ratio
    • Create an appropriate heuristic for the delta parameter.

Dynamix

  • This project involves learning more about Dynamical Systems through the concept of Category Theory.
  • Category theory is a relatively new branch of mathematics, witnessing emergence in the 1960s. The first phase of this project involved learning and applying existing category theory framework in various languages.
  • We applied categorical concepts to simulate two dynamical systems:
    • Epidemic Modelling
    • Chemical Kinetics
  • The second phase of the tenure involved applying category theory to developing models and to novel ideas such as:
    • The Satisfiability Problem
    • Electrical Network Composition
    • Categorical Query Language