Convexity and Concavity Detection in Computational Graphs. Tree Walks for Convexity Proving - Fourer, Robert; Maheshwari, Chandrakant; Neumaier, Arnold; Orban, Dominique; Schichl, Hermann (Groupe d’études et de recherche en analyse des décisions, 2007)