issues
search
eth-sri
/
ELINA
ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129
stars
53
forks
source link
Efficient computation of convex relaxations
#60
Closed
glebmk
closed
4 years ago