Line-Closed Matroids, Quadratic Algebras, and Formal Arrangments.

Michael J. Falk

Published in: Adv. Appl. Math. (2002)

Keyphrases

line segments
formal model
queueing networks
computational complexity
quadratic function
case study
temporal reasoning
data mining
objective function
straight line
endpoints
formal specification
formal methods
formal models
independent set
sequential quadratic programming