Popular repositories Loading

1. huberfe.github.io huberfe.github.io Public

   Forked from ankitsultana/researcher

   website based on jekyll reseacher theme

   HTML 1

2. optimizationproblems optimizationproblems Public

   Forked from teorth/optimizationproblems

   A collection of optimization problems in mathematics

   HTML

3. quantum-maxcut-reference quantum-maxcut-reference Public

   Forked from marwahaha/quantum-maxcut-reference

   TeX

4. quantum-code-bounds quantum-code-bounds Public

   Quantum code bounds tables

   HTML

5. second_order_cone_quantum_max_cut second_order_cone_quantum_max_cut Public

   Code for second order cone relaxation to quantum max cut

   Jupyter Notebook

6. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean