GEOMETRICA

computer software for interactively or programmatically describing or solving problems involving geometric objects, including geometric modeling, geometric computing and geometric reasoning