convexity topic
List
convexity repositories
infotheo
61
Stars
15
Forks
Watchers
A Coq formalization of information theory and linear error-correcting codes
suspect
26
Stars
5
Forks
Watchers
Special Structure Detection for Pyomo
convexifying-nerual-networks
22
Stars
5
Forks
Watchers