Multivariate Polynomials with Arbitrary Number of Variables 1

  title={Multivariate Polynomials with Arbitrary Number of Variables 1},
  author={Piotr Rudnicki},
The goal of this article is to define multivariate polynomials in arbitrary number of indeterminates and then to prove that they constitute a ring (over appropriate structure of coefficients). The introductory section includes quite a number of auxiliary lemmas related to many different parts of the MML. The second section characterizes the sequence flattening operation, introduced in [9], but so far lacking theorems about its fundamental properties. We first define formal power series in… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 49 references

Subsets of real numbers

  • Andrzej Trybulec
  • Journal of Formalized
  • 2003
1 Excerpt

Homomorphisms of many sorted algebras

  • Małgorzata Korolkiewicz
  • Journal of Formalized Mathematics ,
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…