Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
We present an algorithm to compute the primary decomposition of any ideal in a polynomialring over a factorially closed algorithmic principal ideal domain R. This means that the ring R is a constructive PID and that we are given an algorithm to factor polynomials over fields which are finitely generated over R or residue fields of R. We show how basic ideal theoretic operations can be performed using Gröbner bases and we exploit these constructions to inductively reduce the problem to zero dimensional ideals. Here we again exploit the structure of Gröbner bases to directly compute the primary decomposition using polynomial factorization. We also show how the reduction process can be applied to computing radicals and testing ideals for primality. © 1988, Academic Press Limited. All rights reserved.
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Da-Ke He, Ashish Jagmohan, et al.
ISIT 2007
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Ziv Bar-Yossef, T.S. Jayram, et al.
Journal of Computer and System Sciences