Encoding algebraic power series

DOI10.1007/s10208-017-9354-zzbMath1406.13032arXiv1403.4104OpenAlexW1530860885MaRDI QIDQ1656381

Herwig Hauser, M. E. Alonso, Francisco-Jesús Castro-Jiménez

Publication date: 10 August 2018

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.4104

zbMATH Keywords

algebraic power seriesHenselizationpolynomial codesGroebner and standard basespower series division

Mathematics Subject Classification ID

Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Power series, series of functions of several complex variables (32A05) Algebras of holomorphic functions of several complex variables (32A38) Power series rings (13J05) Algebras of analytic functions of one complex variable (30H50)

Related Items

The classical Artin approximation theorems, Effective power series computations, Diagonal representation of algebraic power series: a glimpse behind the scenes, Complementary decompositions of monomial ideals and involutive bases

Uses Software

• SINGULAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An elementary solution of Gessel's walks in the quadrant
• Computations with effective real numbers
• Classifying lattice walks restricted to the quarter plane
• A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases
• A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
• Combinatorial decompositions of a class of rings
• Computing combinatorial decompositions of rings
• A computational model for algebraic power series
• The red book of varieties and schemes. Includes the Michigan lectures (1974) on ``Curves and their Jacobians.
• The tangent cone algorithm and homogenization
• Involutive bases of polynomial ideals
• Linear recurrences with constant coefficients: The multivariate case
• A rank theorem for analytic maps between power series spaces
• Walks confined in a quadrant are not always D-finite
• Algorithms in local algebra
• On periodic points
• Algebraic approximation of structures over complete local rings
• Anneaux locaux henséliens
• Über die Deformation isolierter Singularitäten analytischer Mengen
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Analytical irreducibility of normal varieties
• A human proof of Gessel’s lattice path conjecture
• Application of the Generalized Weierstrass Preparation Theorem to the Study of Homogeneous Ideals
• Walks with small steps in the quarter plane
• A Singular Introduction to Commutative Algebra
• General Néron desingularization and approximation
• A new proof of D. Popescu’s theorem on smoothing of ring homomorphisms
• Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation
• The complete generating function for Gessel walks is algebraic
• SINGULAR
• General Néron desingularization
• On the Theory of Henselian Rings