Sciweavers

876 search results - page 2 / 176
» New Results for the Martin Polynomial
Sort
View
STOC
2002
ACM
91views Algorithms» more  STOC 2002»
14 years 6 months ago
New results on monotone dualization and generating hypergraph transversals
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
FOCM
2006
59views more  FOCM 2006»
13 years 5 months ago
Newton-Hensel Interpolation Lifting
The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in Z[x] from information modulo a...
Martin Avendano, Teresa Krick, Ariel Pacetti
CASC
2005
Springer
202views Mathematics» more  CASC 2005»
13 years 11 months ago
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials
The behavior of the Cayley-Dixon resultant construction and the structure of Dixon matrices are analyzed for composed polynomial systems constructed from a multivariate system in w...
Arthur D. Chtcherba, Deepak Kapur, Manfred Minimai...
JSC
2007
106views more  JSC 2007»
13 years 5 months ago
Computing multihomogeneous resultants using straight-line programs
We present a new algorithm for the computation of resultants associated with multihomogeneous (and, in particular, homogeneous) polynomial equation systems using straight-line pro...
Gabriela Jeronimo, Juan Sabia
CORR
2010
Springer
160views Education» more  CORR 2010»
13 years 5 months ago
New Results on Quantum Property Testing
We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we consider probability d...
Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...