Algorithmic geometry