|
|
Multivariate
Polynomials
| Title: |
Multivariate Polynomials |
| Author: |
Alexander Maletzky and Fabian Immler |
| Submission date: |
2016-07-06 |
| Abstract: |
This formalization is concerned with multivariate polynomials over
various coefficient structures (semirings, rings, fields). The
polynomials are represented both abstractly, as coefficient functions
with finite support, and concretely as association lists (thus
allowing to perform actual computations). All ring-theoretic
operations on polynomials, such as addition and multiplication, are
defined and shown to satisfy the usual properties. Moreover, for
polynomials whose corresponding type of power-products is ordered by a
linear (term) ordering, various additional notions, such as leading
power-product, leading coefficient etc., are introduced as well.
|
| BibTeX: |
@article{Multivariate_Polynomials-AFP,
author = {Alexander Maletzky and Fabian Immler},
title = {Multivariate Polynomials},
journal = {Archive of Formal Proofs},
month = jul,
year = 2016,
note = {\url{http://isa-afp.org/entries/Multivariate_Polynomials.shtml},
Formal proof development},
ISSN = {2150-914x},
}
|
| License: |
BSD License |
| Used by: |
Groebner_Bases |
| Status: [ok] |
This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations. |
|