Below is a list of the main sub-projects in this repository. Each folder contains documents, code, or both, related to a specific mathematical or machine learning topic.

Students can plan their studies for board exam preparation with the official CBSE Class 12 Applied Maths syllabus (2026-27).

Oh I study math history, I can share some fun ones! Niels Abel is famous for a few things in mathematics, but the easiest one to explain is that he proved there does not exist a general formula to ...

Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes. - TiruArt/Pedigree-Polytopes-Lean4 ...

Quantum computers can outperform their classical counterparts at some tasks, but the full scope of their power is unclear. A new quantum algorithm hints at the possibility of far-reaching applications ...

The late Steve Jobs was a visionary in the world of computing and left a lasting legacy that will continue to stand the test of time – from shaping the machines in the early days of computing to ...

Support vector regression can predict numeric values effectively, and this article shows how to implement and train a kernel SVR model in C# using stochastic sub-gradient descent.