Effective approximation of the solutions of algebraic equations

Let F be a holomorphic map whose components satisfy some polynomial relations. We present an algorithm for constructing Nash maps locally approximating F, whose components satisfy the same relations.

[1]  M. Coste,et al.  Approximation in compact Nash manifolds , 1995 .

[2]  M. Artin,et al.  On the solutions of analytic equations , 1968 .

[3]  Daniel Lazard,et al.  Iterated discriminants , 2009, J. Symb. Comput..

[4]  G. Greuel,et al.  A Singular Introduction to Commutative Algebra , 2002 .

[5]  Peter Scheiblechner,et al.  On a generalization of Stickelberger's Theorem , 2010, J. Symb. Comput..

[6]  P. Tworzewski.  Intersections of analytic sets with linear subspaces , 1990 .

[7]  M. Neher.  Improved validated bounds for Taylor coefficients and for Taylor remainder series , 2003 .

[8]  Andrew J. Sommese,et al.  Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components , 2000, SIAM J. Numer. Anal..

[9]  Joris van der Hoeven,et al.  On Effective Analytic Continuation , 2007, Math. Comput. Sci..

[10]  Donal O'Shea,et al.  Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.

[11]  W. Veech.  A second course in complex analysis , 1967 .

[12]  M. Berz,et al.  TAYLOR MODELS AND OTHER VALIDATED FUNCTIONAL INCLUSION METHODS , 2003 .

[13]  Marcin Bilski.  Algebraic approximation of analytic sets and mappings , 2007, 0712.3261.

[14]  Grégoire Lecerf,et al.  A concise proof of the Kronecker polynomial system solver from scratch , 2008 .

[15]  J. Bochnak,et al.  Local algebraicity of analytic sets. , 1984 .

[16]  Joris van der Hoeven,et al.  Relax, but Don't be Too Lazy , 2002, J. Symb. Comput..

[17]  Joris van der Hoeven,et al.  Complexity bounds for zero-test algorithms , 2006, J. Symb. Comput..

[18]  임종인,et al.  Gröbner Bases와 응용 , 1995 .

[19]  Gerhard Pfister,et al.  Local Analytic Geometry , 2013 .

[20]  D. Gorenstein,et al.  Algebraic approximation of structures over complete local rings , 1969 .

[21]  Grégoire Lecerf,et al.  Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers , 2003, J. Complex..

[22]  Teresa Krick,et al.  The Computational Complexity of the Chow Form , 2002, Found. Comput. Math..

[23]  Bruno Salvy,et al.  Effective bounds for P-recursive sequences , 2009, J. Symb. Comput..

[24]  Juan Sabia,et al.  Effective equidimensional decomposition of affine varieties , 2002 .

[25]  S. Łojasiewicz.  Introduction to Complex Analytic Geometry , 1991 .

[26]  Joris van der Hoeven.  Effective analytic functions , 2005, J. Symb. Comput..

[27]  M. Buchner,et al.  Almost analytic local algebraicity of analytic sets and functions , 1987 .

[28]  Gerhard Pfister,et al.  Local analytic geometry - basic theory and applications , 2000, Advanced lectures in mathematics.

[29]  Ludger Kaup,et al.  Holomorphic Functions of Several Variables , 1983 .

[30]  Marcin Bilski.  Algebraic approximation of analytic subsets of in , 2013 .

[31]  P. Tworzewski.  Intersection theory in complex analytic geometry , 1995 .

[32]  Marcin Bilski.  Approximation of Analytic Sets with Proper Projection by Algebraic Sets , 2009, 0905.1881.

[33]  L. Dries.  A specialization theorem for analytic functions on compact sets , 1982 .

[34]  E. M. Chirka,et al.  Complex Analytic Sets , 1989 .

[35]  J. Ruiz.  The Basic Theory of Power Series , 1993 .

[36]  Teresa Krick,et al.  A computational method for diophantine approximation , 1996 .

[37]  L. Lempert.  Algebraic approximations in analytic geometry , 1995 .

[38]  Marcin Bilski,et al.  Approximation of holomorphic maps from Runge domains to affine algebraic varieties , 2011, J. Lond. Math. Soc..