@inproceedings{RISC3020,author = {E. Kartashova and S. McCallum},
title = {{Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators}},
booktitle = {{Towards Mechanized Mathematical Assistants (Proc. of MKM and Calculemus 2007)}},
language = {english},
series = {Lecture Notes in Computer Science (LNCS)},
volume = {4573},
pages = {106--115},
publisher = {Springer, Heidelberg},
isbn_issn = {ISSN 0302-9743},
year = {2007},
editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
refereed = {yes},
length = {10},
url = {http://www.springerlink.com/content/j043k0280p805628/}
}