Formal Adventures in Convex and Conical Spaces.

Reynald Affeldt Jacques Garrigue Takafumi Saikawa

Published in: CoRR (2020)

Keyphrases

convex optimization
formal model
convex hull
semidefinite
genetic algorithm
data mining
convex sets
formal methods
quadratic function
semi infinite programming
convexity properties
strictly convex
risk minimization
formal representation
discrete data
convex relaxation
formal specification
piecewise linear