Local box adjacency algorithms for cylindrical algebraic decompositions

From MaRDI portal
Publication:1599550