//-->
Convexity and concavity detection in computational graphs : tree walks for convexity assessment
Fourer, Robert, (2010)
Exclusion regions for optimization problems
Schichl, Hermann, (2014)
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Schodl, Peter, (2012)