|
Matlab |
3 |
convex optimization code |
Aug 04, 2021 |
|
Jupyter Notebook |
3 |
convex optimization repo |
Mar 29, 2023 |
|
TeX |
11 |
convex optimization homework |
Oct 03, 2022 |
|
TeX |
2 |
Convex optimization course |
Oct 27, 2023 |
|
Python |
1342 |
Differentiable convex optimization layers |
Aug 12, 2022 |
|
Ruby |
20 |
Convex optimization for Ruby |
Apr 10, 2023 |
|
Jupyter Notebook |
14 |
Stanford convex optimization course |
Jul 23, 2022 |
|
Python |
10 |
Covariance prediction via convex optimization |
Jun 30, 2022 |
|
Python |
7 |
Speed planning with convex optimization |
Mar 29, 2022 |
|
Jupyter Notebook |
7 |
Convex Optimization (class deliverables & assignments) |
Jan 04, 2023 |
|
TeX |
2 |
latex notes on convex optimization |
Sep 13, 2023 |
|
C++ |
35 |
A fast and flexible convex optimization framework based on proximal splitting |
Nov 18, 2022 |
|
Jupyter Notebook |
4 |
Lectures on introduction to convex analysis and convex optimization theory |
Jun 21, 2022 |
|
None |
6 |
Convex optimization for fun and profit. |
Apr 04, 2022 |
|
Jupyter Notebook |
10 |
Convex optimization over risk-neutral probabilities. |
Apr 08, 2022 |
|
TeX |
2 |
course notes for ece1505H Convex Optimization |
Mar 11, 2023 |
|
Julia |
72 |
Toolbox for non-convex constrained optimization. |
May 29, 2022 |
|
C |
878 |
CVXOPT -- Python Software for Convex Optimization |
May 08, 2023 |
|
Jupyter Notebook |
3 |
Solving Convex and Nonconvex Optimization Problems |
Aug 07, 2022 |
|
Python |
202 |
Convex optimization for fun and profit. |
May 14, 2023 |
|
Python |
5 |
Exact Matrix Completion via Convex Optimization |
Apr 10, 2023 |
|
None |
2 |
Convex optimization for fun and profit. |
Jun 02, 2023 |
|
Jupyter Notebook |
2 |
Algorithms for Smoothed Online Convex Optimization |
Nov 02, 2023 |
|
Python |
17 |
Portfolio Optimization with Cumulative Prospect Theory Utility via Convex Optimization |
Apr 15, 2023 |
|
Lean |
4 |
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many … |
May 27, 2022 |
|
Lean |
4 |
None |
Dec 15, 2021 |
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
Lean |
4 |
Implementation of different type theories in Lean4 |
Jun 04, 2022 |
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
Lean |
4 |
Some advanced undergrad group theory in Lean |
May 16, 2021 |
|
Lean |
4 |
Lean notes for Imperial course P11 : Galois Theory |
May 16, 2021 |
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
Lean |
4 |
C0 specification and verified compiler in Lean |
Jun 26, 2022 |
|
Lean |
4 |
None |
May 29, 2022 |
|
Lean |
5 |
Group Cohomology |
Dec 01, 2020 |
|
Lean |
5 |
Ellen's dots and boxes project |
Dec 30, 2020 |
|
Lean |
5 |
M1F 2018-19 example sheets in Lean |
Jul 14, 2021 |
|
Lean |
5 |
Supplemental material for the "Beyond Notations" paper |
Nov 25, 2021 |
|
Lean |
5 |
Implementation of Gowers & Ganesalingam theorem prover in Lean |
Dec 20, 2021 |
|
Lean |
6 |
None |
Feb 23, 2022 |
|
Lean |
6 |
My Solutions using Lean 4 for the 2021 edition of the Advent of Code |
Apr 29, 2022 |
|
Lean |
6 |
Solving Diophantine equations in Lean |
Jul 26, 2022 |
|
Lean |
6 |
Stub for downloading mathport artifacts for mathlib3 |
Jul 27, 2022 |
|
Lean |
6 |
www |
Mar 04, 2022 |
|
Lean |
6 |
Interface to SMT2 solvers |
Mar 17, 2022 |
|
Lean |
6 |
Lean formalizations of things loosely related to homological algebra |
Mar 21, 2022 |
|
Lean |
7 |
Lecture notes, exercises, homeworks for Brown CS1951x 2021 |
Dec 01, 2021 |
|
Lean |
7 |
None |
May 19, 2022 |
|
Lean |
7 |
A formalization of Huang's degree theorem |
Oct 13, 2020 |