cylindrical algebraic decomposition

Articles containing keyword "cylindrical algebraic decomposition":

MIA-18-22 » An extension of Turán's inequality (01/2015)