TY - RPRT TI - Quantifier elimination for approximate Beals-Kartashova factorization AU - Elena Kartashova AU - Scott McCallum PY - 2007 UR - https://arxiv.org/abs/math-ph/0701019 ID - math-ph/0701019 ER -