Describir: <An> Algorithmic theory of numbers graphs and convexity