Formal Adventures in Convex and Conical Spaces.

Reynald Affeldt Jacques Garrigue Takafumi Saikawa

Published in: CICM (2020)

Keyphrases

convex optimization
formal model
convex hull
formal specification
data sets
information systems
feature selection
knowledge base
formal methods
formal representation
databases
piecewise linear
globally optimal
formal models
convex programming
convex optimization problems