Grθobner bases in symbolic analysis - Rosenkranz, Markus,; Wang, Dongming, (Radon series on computational and applied mathematics,, 2007)