Pinned Loading

1. KernelHom KernelHom Public

   Lean 4 project focused on tactics that translate kernel equalities into categorical equalities, and back.

   Lean

2. LeanGO LeanGO Public

   LeanGO is a Lean 4 library dedicated to the formalization of global optimization algorithms.

   Jupyter Notebook 1

3. GOB GOB Public

   GOB is a collection of global optimization algorithms implemented in C++ and linked with Python.

   C++ 2

4. GPEP GPEP Public

   GPEP is an experimental Python framework for computer-assisted worst-case analyses of first-order optimization methods.

   Jupyter Notebook 1

5. LipoCons LipoCons Public

   Lean formalization of the Proposition 3 of the the paper Global optimization of Lipschitz functions, Malherbe C. and Vayatis N., 2017.

   Lean

6. pyGKLS pyGKLS Public

   pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).

   C++ 3