Archive for January 2005

Buchberger’s Algorithm

View as: view on E2  view as PDF

An algorithm for determining a Gröbner basis for a collection of polynomials.

Gröbner Basis

View as: view on E2  view as PDF

A Gröbner basis for a system of polynomials preserves the common roots whilst being simpler relative to an ordering.

Canonical Representation of polynomials

View as: view on E2  view as PDF

Discussion of canonical forms for polynomials- single variable dense and sparse representations; orderings for multivariate polynomials.

The Baire category theorem and cardinality

View as: view on E2  view as PDF

Application of the Baire category theorem to something more interesting than functional analysis- cardinality. Demonstrates the uncountability of the reals, and the incompleteness of the rationals.