Conditions for exact resultants using the Dixon formulation. - Arthur D. Chtcherba; Deepak Kapur (ISSAC, 2000)

The phase transition in 1-in-k SAT and NAE 3-SAT. - Dimitris Achlioptas; Arthur D. Chtcherba; Gabriel Istrate; Cristopher Moore (SODA, 2001)

On the efficiency and optimality of Dixon-based resultant methods. - Arthur D. Chtcherba; Deepak Kapur (ISSAC, 2002)

On the relationship between the Dixon-based resultant construction and the supports of polynomial systems. - Arthur D. Chtcherba; Deepak Kapur (SIGSAM Bull., 2003)

Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation. - Arthur D. Chtcherba; Deepak Kapur (J. Symb. Comput., 2003)

Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. - Arthur D. Chtcherba; Deepak Kapur (ISSAC, 2004)

Constructing Sylvester-type resultant matrices using the Dixon formulation. - Arthur D. Chtcherba; Deepak Kapur (J. Symb. Comput., 2004)

Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation. - Arthur D. Chtcherba; Deepak Kapur (J. Symb. Comput., 2004)

Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. - Arthur D. Chtcherba; Deepak Kapur; Manfred Minimair (CASC, 2005)

Conditions for determinantal formula for resultant of a polynomial system. - Arthur D. Chtcherba; Deepak Kapur (ISSAC, 2006)

Cayley-Dixon projection operator for multi-univariate composed polynomials. - Arthur D. Chtcherba; Deepak Kapur; Manfred Minimair (J. Symb. Comput., 2009)