{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T14:45:15Z","timestamp":1768747515300,"version":"3.49.0"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T00:00:00Z","timestamp":1495756800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10208-017-9354-z","type":"journal-article","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T17:07:25Z","timestamp":1495818445000},"page":"789-833","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Encoding Algebraic Power Series"],"prefix":"10.1007","volume":"18","author":[{"given":"M. E.","family":"Alonso","sequence":"first","affiliation":[]},{"given":"F. J.","family":"Castro-Jim\u00e9nez","sequence":"additional","affiliation":[]},{"given":"H.","family":"Hauser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,26]]},"reference":[{"key":"9354_CR1","doi-asserted-by":"crossref","unstructured":"Alonso, M.E., Castro-Jim\u00e9nez, F.J., Hauser, H., Koutschan, C.: Gabrielov\u2019s counterexample to nested linear Artin approximation. Preprint 2017.","DOI":"10.1112\/blms.12162"},{"key":"9354_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(92)90029-F","volume":"77","author":"ME Alonso","year":"1992","unstructured":"Alonso, M.E., Mora, T., Raimondo, M.: A computational model for algebraic power series. J. Pure Appl. Alg. 77 (1992), 1-38.","journal-title":"J. Pure Appl. Alg."},{"key":"9354_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1990-0992603-9","volume":"317","author":"M Amasaki","year":"1990","unstructured":"Amasaki, M.: Applications of the generalized Weierstrass preparation theorem to the study of homogeneous ideals. Trans. Amer. Math. Soc. 317 (1990), 1-43.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9354_CR4","unstructured":"Aroca, J.-M., Hironaka, H., Vicente, J.-L.: The theory of the maximal contact. Memorias Mat. Inst. Jorge Juan Madrid 29 (1975)."},{"key":"9354_CR5","volume-title":"Grothendieck topologies","author":"M Artin","year":"1962","unstructured":"Artin, M.: Grothendieck topologies. Mimeographed notes, Harvard University 1962."},{"key":"9354_CR6","doi-asserted-by":"crossref","unstructured":"Artin, M.: Algebraic approximations of structures over complete local rings. Publ. Math. I.H.E.S. 36 (1969), 23-58.","DOI":"10.1007\/BF02684596"},{"key":"9354_CR7","doi-asserted-by":"crossref","first-page":"82","DOI":"10.2307\/1970384","volume":"81","author":"M Artin","year":"1965","unstructured":"Artin, M., Mazur, B.: On periodic points. Ann. Math. 81 (1965), 82-99.","journal-title":"Ann. Math."},{"key":"9354_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0001-8708(81)90027-X","volume":"39","author":"K Baclawski","year":"1981","unstructured":"Baclawski, K., Garsia, A.: Combinatorial decomposition of a class of rings. Adv. Math. 39 (1981), 155-184.","journal-title":"Adv. Math."},{"key":"9354_CR9","unstructured":"Bochnak, J., Coste, M., Roy, M.-F.: G\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle. Springer 1987."},{"issue":"9","key":"9354_CR10","doi-asserted-by":"crossref","first-page":"3063","DOI":"10.1090\/S0002-9939-2010-10398-2","volume":"138","author":"A Bostan","year":"2010","unstructured":"Bostan, A., Kauers, M.: The complete generating function for Gessel walks is algebraic. With an appendix by Mark van Hoeij. Proc. Amer. Math. Soc. 138 (2010), no. 9, 3063-3078.","journal-title":"Proc. Amer. Math. Soc."},{"key":"9354_CR11","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.1090\/tran\/6804","volume":"369","author":"A Bostan","year":"2017","unstructured":"Bostan, A., Kurkova, I., Raschel, K.: A human proof of Gessel\u2019s lattice path conjecture. Trans. Amer. Math. Soc. 369 (2017), 1365-1393.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9354_CR12","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.1016\/j.aim.2016.08.038","volume":"303","author":"M Bousquet-M\u00e9lou","year":"2016","unstructured":"Bousquet-M\u00e9lou, M.: An elementary solution of Gessel\u2019s walks in the quadrant. Adv. Math. 303 (2016), 1171-1189.","journal-title":"Adv. Math."},{"key":"9354_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/conm\/520\/10252","volume":"520","author":"M Bousquet-M\u00e9lou","year":"2010","unstructured":"Bousquet-M\u00e9lou, M., Mishna, M.: Walks with small steps in the quarter plane. Contemp. Math. 520 (2010), 1-39.","journal-title":"Contemp. Math."},{"key":"9354_CR14","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0012-365X(00)00147-3","volume":"225","author":"M Bousquet-M\u00e9lou","year":"2000","unstructured":"Bousquet-M\u00e9lou, M., Petkov\u0161ek, M.: Linear recurrences with constant coefficients. Discrete Math. 225 (2000), 51-75.","journal-title":"Discrete Math."},{"key":"9354_CR15","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0304-3975(03)00219-6","volume":"307","author":"M Bousquet-M\u00e9lou","year":"2003","unstructured":"Bousquet-M\u00e9lou, M., Petkov\u0161ek, M.: Walks confined in a quadrant are not always $$D$$ D -finite. Theor. Comp. Sci. 307 (2003), 257-276.","journal-title":"Theor. Comp. Sci."},{"key":"9354_CR16","doi-asserted-by":"crossref","unstructured":"Brieskorn, E., Kn\u00f6rrer, H.: Plane Algebraic Curves. Birkh\u00e4user 1986.","DOI":"10.1007\/978-3-0348-5097-1"},{"key":"9354_CR17","doi-asserted-by":"crossref","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Using Algebraic Geometry. Springer 1998.","DOI":"10.1007\/978-1-4757-6911-1"},{"key":"9354_CR18","doi-asserted-by":"crossref","unstructured":"De Jong, T., Pfister, G.: Local Analytic Geometry. Springer 2000.","DOI":"10.1007\/978-3-322-90159-0"},{"key":"9354_CR19","first-page":"64","volume":"5","author":"A Gabrielov","year":"1971","unstructured":"Gabrielov, A.: The formal relations between analytic functions. Funk. Anal. Pril. 5 (1971), 64-65.","journal-title":"Funk. Anal. Pril."},{"key":"9354_CR20","doi-asserted-by":"crossref","unstructured":"Galligo, A.: A propos du Th\u00e9or\u00e8me de Pr\u00e9paration de Weierstrass. Lecture Notes in Math. 409, 543-579. Springer 1973.","DOI":"10.1007\/BFb0068121"},{"issue":"5\u20136","key":"9354_CR21","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"V Gerdt","year":"1998","unstructured":"Gerdt, V., Blinkov, Y.: Involutive bases of polynomial ideals. Simplification of systems of algebraic and differential equations with applications. Math. Comput. Simulation 45 no. 5-6 (1998), 519-541.","journal-title":"Math. Comput. Simulation"},{"key":"9354_CR22","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0022-4049(94)00020-4","volume":"97","author":"H-G Gr\u00e4be","year":"1994","unstructured":"Gr\u00e4be, H.-G.: The tangent cone algorithm and homogenization. J. Pure Appl. Algebra 97 (1994), 303-312.","journal-title":"J. Pure Appl. Algebra"},{"key":"9354_CR23","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1006\/jsco.1995.1031","volume":"19","author":"H-G Gr\u00e4be","year":"1995","unstructured":"Gr\u00e4be, H.-G.: Algorithms in local algebra. J. Symb. Comp. 19 (1995), 545-557.","journal-title":"J. Symb. Comp."},{"key":"9354_CR24","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF01404124","volume":"15","author":"H Grauert","year":"1972","unstructured":"Grauert, H.: \u00dcber die Deformation isolierter Singularit\u00e4ten analytischer Mengen. Invent. Math. 15 (1972), 171-198.","journal-title":"Invent. Math."},{"key":"9354_CR25","unstructured":"Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra, 2nd edition. Springer 2007."},{"key":"9354_CR26","unstructured":"Greuel, G.M., Pfister, G., Sch\u00f6nemann, H.: Singular. A Computer Algebra System for Polynomial Computations. Universit\u00e4t Kaiserslautern, www.singular.uni-kl.de ."},{"key":"9354_CR27","unstructured":"Hironaka, H.: Idealistic exponents of singularity. In: Algebraic Geometry, The Johns Hopkins Centennial Lectures. Johns Hopkins University Press 1977."},{"key":"9354_CR28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/1970486","volume":"79","author":"H Hironaka","year":"1964","unstructured":"Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. Ann. Math. 79 (1964), 109-326.","journal-title":"Ann. Math."},{"key":"9354_CR29","doi-asserted-by":"crossref","unstructured":"Hauser, H., M\u00fcller, G.: A rank theorem for analytic maps between power series spaces. Publ. Math. I.H.E.S. 80 (1995), 95-115.","DOI":"10.1007\/BF02698897"},{"key":"9354_CR30","unstructured":"Janet, M.: Sur les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. J. Math. $$8^{\\rm e}$$ 8 e s\u00e9r., III (1920), 65-151."},{"key":"9354_CR31","unstructured":"Janet, M.: Le\u00e7ons sur les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. Gauthiers-Villars 1929."},{"key":"9354_CR32","volume-title":"Henselsche Ringe und algebraische Geometrie","author":"H Kurke","year":"1975","unstructured":"Kurke, H., Pfister, G., Rozcen, M.: Henselsche Ringe und algebraische Geometrie. Dt. Verlag der Wissenschaften, Berlin 1975."},{"key":"9354_CR33","first-page":"3238","volume":"260","author":"J-P Lafon","year":"1965","unstructured":"Lafon, J.-P.: S\u00e9ries formelles alg\u00e9briques. C. R. Acad. Sci. Paris 260 (1965), 3238-3241.","journal-title":"C. R. Acad. Sci. Paris"},{"key":"9354_CR34","doi-asserted-by":"crossref","unstructured":"Lazard, D.: Gr\u00f6bner bases, Gaussian elimination and resolutions of systems of algebraic equations. In: Computer algebra, London 1983. Lecture Notes Comp. Sci. 162, 146-156. Springer 1983.","DOI":"10.1007\/3-540-12868-9_99"},{"issue":"2","key":"9354_CR35","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1016\/j.jcta.2008.06.011","volume":"116","author":"M Mishna","year":"2009","unstructured":"Mishna, M.: Classifying lattice walks restricted to the quarter plane. J. Combin. Theory Ser. A 116 (2009), no. 2, 460-477.","journal-title":"J. Combin. Theory Ser. A"},{"key":"9354_CR36","doi-asserted-by":"crossref","unstructured":"Mora, T.: An algorithm to compute the equations of tangent cones. Proceedings Eurocam 82. Lecture Notes Comp. Sci. 144, 158-165. Springer 1982.","DOI":"10.1007\/3-540-11607-9_18"},{"key":"9354_CR37","doi-asserted-by":"crossref","unstructured":"Mumford, D.: The Red Book of Varietes and Schemes. Springer, 2nd edition 1999.","DOI":"10.1007\/b62130"},{"key":"9354_CR38","unstructured":"Nagata, M.: On the theory of Henselian rings. Nagoya Math. J. 5 (1953), 5-57, and 7 (1954), 1-19."},{"key":"9354_CR39","unstructured":"Nagata, M.: Local rings. Interscience 1962."},{"key":"9354_CR40","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1017\/S0027763000000246","volume":"100","author":"D Popescu","year":"1985","unstructured":"Popescu, D.: General N\u00e9ron desingularization. Nagoya Math. J. 100 (1985), 97-126.","journal-title":"Nagoya Math. J."},{"key":"9354_CR41","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1017\/S0027763000022698","volume":"104","author":"D Popescu","year":"1986","unstructured":"Popescu, D.: General N\u00e9ron desingularization and approximation. Nagoya Math. J. 104 (1986), 85-115.","journal-title":"Nagoya Math. J."},{"key":"9354_CR42","doi-asserted-by":"crossref","unstructured":"Raynaud, M.: Anneaux Locaux Hens\u00e9liens. Lecture Notes Math. 169. Springer 1970.","DOI":"10.1007\/BFb0069571"},{"key":"9354_CR43","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1017\/S0305004100030917","volume":"52","author":"D Rees","year":"1956","unstructured":"Rees, D.: A basis theorem for polynomial modules. Proc. Cambridge Phil. Soc. 52 (1956), 12-16.","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"9354_CR44","unstructured":"Riquier, C.: Les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles. Gauthier-Villars 1910."},{"key":"9354_CR45","doi-asserted-by":"crossref","unstructured":"Ruiz, J.: The basic theory of power series. Vieweg 1993.","DOI":"10.1007\/978-3-322-84994-6"},{"issue":"3\u20134","key":"9354_CR46","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s00200-009-0098-0","volume":"20","author":"W Seiler","year":"2009","unstructured":"Seiler, W.: A combinatorial approach to involution and $$\\delta $$ \u03b4 -regularity I: Involutive bases in polynomial algebras of solvable type. Appl. Algebra Engrg. Comm. Comput. 20, no. 3-4 (2009), 207-259.","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"issue":"3\u20134","key":"9354_CR47","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s00200-009-0101-9","volume":"20","author":"W Seiler","year":"2009","unstructured":"Seiler, W.: A combinatorial approach to involution and $$\\delta $$ \u03b4 -regularity II: Structure analysis of polynomial modules with Pommaret bases. Appl. Algebra Engrg. Comm. Comput. 20, no. 3-4 (2009), 261-338.","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"9354_CR48","doi-asserted-by":"crossref","unstructured":"Seiler, W.: Spencer cohomology, differential equations, and Pommaret bases. In: Gr\u00f6bner Bases in Symbolic Analysis, 169-216. Radon Ser. Comput. Appl. Math. 2. De Gruyter 2007.","DOI":"10.1515\/9783110922752.169"},{"key":"9354_CR49","unstructured":"S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9brique 4, vol. 2 (Artin, M., Grothendieck, A., Verdier, J.L., eds.). Publ. Math. I.H.E.S. 32 (1972)."},{"issue":"2","key":"9354_CR50","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1090\/S0894-0347-99-00294-5","volume":"12","author":"M Spivakovsky","year":"1999","unstructured":"Spivakovsky, M.: A new proof of D. Popescu\u2019s theorem on smoothing of ring homomorphisms. J. Amer. Math. Soc. 12 (1999), no. 2, 381-444.","journal-title":"J. Amer. Math. Soc."},{"key":"9354_CR51","doi-asserted-by":"crossref","unstructured":"Sturmfels, B., White, N.: Computing combinatorial decompositions of rings. Combinatorica 11 (1991), 275-293.","DOI":"10.1007\/BF01205079"},{"key":"9354_CR52","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01205079","volume":"11","author":"B Sturmfels","year":"1991","unstructured":"Swan, R.: N\u00e9ron-Popescu desingularization, Algebra and geometry (Taipei, 1995), 135-192, Lect. Algebra Geom., 2, Intern. Press 1998.","journal-title":"Combinatorica"},{"key":"9354_CR53","unstructured":"van der Hoeven, J.: Effective power series computations. Preprint 2014."},{"key":"9354_CR54","unstructured":"Wagner, D.: Algebraische Potenzreihen. Diploma Thesis, Univ. Innsbruck 2005."},{"key":"9354_CR55","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1080\/00029890.1919.11998477","volume":"26","author":"EJ Wilczynski","year":"1919","unstructured":"Wilczynski, E.J.: On the form of the power series for an algebraic function. Amer. Math. Monthly 26 (1919), 9-12.","journal-title":"Amer. Math. Monthly"},{"key":"9354_CR56","doi-asserted-by":"crossref","first-page":"352","DOI":"10.2307\/1969284","volume":"49","author":"O Zariski","year":"1948","unstructured":"Zariski, O.: Analytical irreducibility of normal varieties. Ann. Math. 49 (1948), 352-361.","journal-title":"Ann. Math."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-017-9354-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-017-9354-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-017-9354-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T22:23:07Z","timestamp":1659046987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-017-9354-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,26]]},"references-count":56,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9354"],"URL":"https:\/\/doi.org\/10.1007\/s10208-017-9354-z","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,26]]}}}