3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.AG2015★ 3 cited
On Lazard's Valuation and CAD Construction
Scott McCallum, Hoon Hong
In 1990 Lazard proposed an improved projection operation for cylindrical algebraic decomposition (CAD). For the proof he introduced a certain notion of valuation of a multivariate…
math-ph2007
Quantifier elimination for approximate Beals-Kartashova factorization
Elena Kartashova, Scott McCallum
The only known constructive factorization algorithm for linear partial differential operators (LPDOs) is Beals-Kartashova (BK) factorization \cite{bk2005}. One of the most interest…