More on multivariate polynomials: Monomials and constant polynomials
by
Christoph Schwarzweller
| Venue: | Journal of Formalized Mathematics |
| Citations: | 5 - 5 self |
BibTeX
@ARTICLE{Schwarzweller_moreon,
author = {Christoph Schwarzweller},
title = {More on multivariate polynomials: Monomials and constant polynomials},
journal = {Journal of Formalized Mathematics},
year = {},
volume = {13},
pages = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Summary. In this article we give some technical concepts for multivariate polynomials with arbitrary number of variables. Monomials and constant polynomials are introduced and their properties with respect to the eval functor are shown. In addition, the multiplication of polynomials with coefficients is defined and investigated.
