//-->
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Schodl, Peter, (2012)
Convexity and concavity detection in computational graphs : tree walks for convexity assessment
Fourer, Robert, (2010)
An optimality criterion for global quadratic optimization
Neumaier, Arnold, (1992)