A comprehensive and searchable database of categories and their properties

E-Books Library for someone who interested in Pure Mathematics.

Fast parallel calculations in pure mathematics, e.g. Gröbner Bases

A utility package for Hironaka game of local resolution of singularities

A language of polynomials.

This article provides examples of monomial deciders, monomial generators, and picking functions and the methods to develop them.

I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.

These are 10 of the most utilized data structures and algorithm problems with solutions that minimize iterations and buffer storage space in order to optimize space and time complexity. Please remove the documentation tags represented by ' ' ' which preceed and succeed the desired function to run and test the function on a Python 3.6.1 interpreter.

Aspects of categorical differential geometry, formalised in lean 4.

A contribution depot for the Future Minds Initiative provided by the Electrostat-Lab.

A curated list of resources for mathematics, including theory, proofs, computational tools, datasets, open-source software, and learning materials.

New results from research on matrices.

A program to generate the Fibonacci sequence and analyze its properties

A C# WinForms / Console-based Maths Engine

Generates the sequence mentioned in chapter 1, excercise 7 of A Concise Introduction to Pure Mathematics.

Algebraic geometry notes

Topological 2-Manifold visualizer

Theorems discovered by Ravin Kumar

https://ANANTAGUNA.github.io/ ?SATPREM? ?ALBER CAMUS? ?All?

Official frontend for ProofX, enabling exploration, visualization, and reproducible experiments in computational mathematics.