Popular repositories Loading

1. awesome-ai4math awesome-ai4math Public

   Curated links for AI-assisted mathematics: open problems, formalization, benchmarks, search systems, and results solved with AI

   1

2. xsf xsf Public

   Forked from scipy/xsf

   Special function implementations

   C++

3. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

4. p_group_cohomology p_group_cohomology Public

   Forked from sagemath/p_group_cohomology

   Sage package for computing modular cohomology rings of finite groups

   Cython

5. sage sage Public

   Forked from sagemath/sage

   Main repository of SageMath

   Python

6. erdos-1152 erdos-1152 Public

   Erdős Problem 1152: almost everywhere divergence with o(n) excess degree, with a partial Lean formalization

   Lean