jcpaik / sofa-designerView external linksLinks
A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
☆30Apr 3, 2024Updated last year
Alternatives and similar repositories for sofa-designer
Users that are interested in sofa-designer are comparing it to the libraries listed below
Sorting:
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated 3 weeks ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 1, 2026Updated 2 weeks ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆41Sep 22, 2025Updated 4 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated last month
- Mastering the Game of FizzBuzz without Human Knowledge☆23May 11, 2018Updated 7 years ago
- All the math/tex files for the Automorphic Project☆19Updated this week
- Computational Hardness 스터디☆19Apr 5, 2023Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 3 weeks ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆24Updated this week
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆30Oct 13, 2024Updated last year
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆31Aug 11, 2025Updated 6 months ago
- A formalized proof of Carleson's theorem in Lean☆84Feb 2, 2026Updated last week
- ☆42May 29, 2025Updated 8 months ago
- ☆11Feb 18, 2024Updated last year
- The root repository for the SpectralSequences project.☆32Dec 26, 2025Updated last month
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆12Oct 29, 2025Updated 3 months ago
- Scanning tool for BSM models☆10Jun 18, 2019Updated 6 years ago
- ☆11Aug 10, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Basic Python libraries used by UGent's HPC group☆15Nov 6, 2025Updated 3 months ago
- Highly scalable integration and classification of single-cell RNA sequencing data☆10Dec 27, 2020Updated 5 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- LINE: Loop Integrals Numerical Evaluation☆11Jun 18, 2025Updated 7 months ago
- The codebase contains the implementation for the paper "An asset subset-constrained minimax optimization framework for online portfolio s…☆11Dec 3, 2024Updated last year
- ☆13Jul 26, 2021Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- A Python implementation of "Expansion-GRR: Efficient Generation of Smooth Global Redundancy Resolution Roadmaps"☆12Updated this week
- ☆13Jul 8, 2024Updated last year
- ☆13Aug 6, 2025Updated 6 months ago
- [2.3] UNOFFICIAL repo of FeynRules written by Christensen, Duhr, Fuks, et al.☆11Jul 10, 2025Updated 7 months ago
- ☆20Dec 30, 2025Updated last month
- ☆11Sep 15, 2025Updated 5 months ago
- ☆41Nov 16, 2023Updated 2 years ago
- Parses, and hovers math formula of c mathematical library functions☆35Dec 30, 2022Updated 3 years ago
- LatNet Builder: A General Software Tool For Constructing Highly Uniform Point Sets☆17Aug 22, 2025Updated 5 months ago
- FeynGKZ: a Mathematica package for solving Feynman integrals using GKZ hypergeometric systems☆13Mar 10, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago