A collection of optimization problems in mathematics
☆385Oct 18, 2026Updated this week
Alternatives and similar repositories for optimizationproblems
Users that are interested in optimizationproblems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A community database for the problems on the erdosproblems.com site☆874Updated this week
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- Project to verify the Guy-Selfridge conjectures☆30Jun 24, 2026Updated 3 months ago
- A collection of formalized statements of conjectures in Lean.☆1,332Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆245Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆30Aug 13, 2026Updated 2 months ago
- ☆238Jul 11, 2026Updated 3 months ago
- Blueprint for the PNT+ Project☆351Updated this week
- A project to map out the relations between different equational theories of Magmas.☆561Sep 12, 2026Updated last month
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆35Aug 11, 2025Updated last year
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Oct 16, 2026Updated last week
- 15k open math problems, linked to their sources.☆28Jul 31, 2026Updated 2 months ago
- Exponent pair database☆84Sep 26, 2026Updated 3 weeks ago
- A Lean companion to Analysis I☆1,968Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated 2 weeks ago
- Lean formalization of bounded gaps between primes☆44Aug 18, 2026Updated 2 months ago
- ☆24Updated this week
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆15Jul 6, 2023Updated 3 years ago
- Code to automatically prove or verify estimates in analysis☆342Jun 24, 2026Updated 3 months ago
- List of awesome works that use AI for mathematical discoveries.☆97Oct 12, 2026Updated last week
- Roman image combination software☆14Oct 9, 2026Updated 2 weeks ago
- ☆31Sep 9, 2026Updated last month
- ☆16Mar 2, 2026Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆38Feb 8, 2026Updated 8 months ago
- The math library of Lean 4☆4,341Updated this week
- ☆40Sep 27, 2026Updated 3 weeks ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆97Updated this week
- Proétale cohomology in Lean☆16Sep 29, 2026Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆256Oct 13, 2026Updated last week
- ☆20Jun 8, 2026Updated 4 months ago
- This repository regroups learning ressources about performance estimation problems☆15Mar 18, 2026Updated 7 months ago
- ☆325Sep 11, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- How to say it using Mathlib.☆21Oct 13, 2026Updated last week
- ♡☆23Aug 16, 2026Updated 2 months ago
- Comparator-based Lean formal mathematics eval☆48Updated this week
- Official evaluation models and configuration for Stage 1 of the SAIR Mathematics Distillation Challenge: Equational Theories.☆20Apr 19, 2026Updated 6 months ago
- Source for the community blog☆11Updated this week
- ☆307Oct 6, 2026Updated 2 weeks ago