Owner

Ivan-Sergeyev

4 indexed repositories · View on GitHub

• seymour

  This project is about formally verifying Seymour's decomposition theorem for regular matroids.

  Lean · 49 stars

• qml-time-series

  Time series forecasting model combining classical machine learning and quantum circuits.

  Jupyter Notebook · 2 stars

• slae_alg_comp

  C++ · 0 stars

• the-labyrinth

  C++ · 0 stars