Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Project: Research council

Filter
Article

Search results