History

for article: Cylindrical algebraic decomposition