稲葉 大樹

Factorization of Multivariate Polynomials by Extended Hensel Construction. 

ACM SIGSAM Bulletin Volume 39, Number 1, page 2-14 2005年  

Certification of Analytic Continuation of Algebraic Function. 

Proc. CASC'04 (Computer Algebra in Scientific Computing) Eds. V.G.Ganzha, E.W.Mayr and E.V.Vorozhtsov page 249-260 2004年  

Hensel construction of F(x,u_1,\dots,u_l) >= 2, at a singular point and its applications. 

ACM SIGSAM Bulletin Volume 34,Number 1,page 9-17 2000年