TY - BOOK AU - Robertz, Daniel AU - ELIMINATION TI - Formal algorithmic elimination ffor pdes SN - 9783319114446 U1 - 517.91 PY - 2014/// CY - New York PB - Springer KW - MATHEMATICS KW - ALGORITHEM ER -