title: Formal Laurent series in several variables.
abstract: We explain the construction of fields of formal infinite series in several variables, generalizing the classical notion of formal Laurent series in one variable. Our discussion addresses the field operations for these series (addition, multiplication, and division), the composition, and includes an implicit function theorem.
authors.affiliation: Université Lille 1 Sciences et Technologies, 59655 Villeneuve d'Ascq, Cedex, France.
authors.forename: Ainhoa
authors.initials: A
authors.lastname: Aparicio Monforte
authors.affiliation: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, A4040 Linz, Austria.
authors.forename: Manuel
authors.initials: M
authors.lastname: Kauers
keywords: Formal power series