Credible Autocoding of Convex Optimization Algorithms

Publication
Springer Optimization and Engineering

Related