ISSAC 2006 Poster Committee REFERENCES [Kuo89] T.-C. Kuo: Generalized Newton-Puiseux theory and Hensel s lemma in C[[x, y]]. Canad. J. Math. XLI (1989), 1101 1116. [SI00] T. Sasaki and D. Inaba: Hensel construction of F (x, u1 , . . . , u ), ¥ 2, at a singular point and its applications. ACM SIGSAM Bulletin 34 (2000), 9 17. [SI06] T. Sasaki and D. Inaba: Extended Hensel construction and multivariate algebraic functions. Preprint of Univ. Tsukuba, 2006 (submitted to SIGSAM Bulletin). [SK99] T. Sasaki and F. Kako: Solving multivariate algebraic equation by Hensel construction. Japan J. Indust. Appl. Math. 16 (1999), 257 285. Closed-Form Formulas for Projecting Constructible Sets in the Theory of Algebraically Closed Fields (Extended Abstract) Peter Ullrich Institut f r Informatik, Technische Universit t M nchen u a u Boltzmannstr. 3, D-85748 Garching, Germany email: ullrichp@in.tum.de Introduction We present two closed-form formulas (cf. (18) and (19)) which describe the projection (X) ( : An à A1 An , (x, y) x) where X = V(F), or X = V(F) \ V(g) (
= F k[x, y], g k[x, y] non-constant, k an algebraically closed eld). These formulas involve only
/lp/association-for-computing-machinery/closed-form-formulas-for-projecting-constructible-sets-in-the-theory-agSPT4S73D