Einleitung, Motivation

Literatur: H.-G. Gräbe, Skript Computeralgebra, Kapitel 3

$\displaystyle \sqrt{{2+\sqrt{3}}}$ - $\displaystyle \sqrt{{2-\sqrt{3}}}$

$\displaystyle {\frac{{b^2}}{{\left(a - b\right) \left(b - c\right)}}}$ - $\displaystyle {\frac{{a^2}}{{\left(a - b\right) \left\ (a - c\right)}}}$ - $\displaystyle {\frac{{c^2}}{{\left(a - c\right) \left(b - c\right)}}}$

Vereinfacher (Simplifikator) S : Term $\to$ Term

überall definiert, terminierend, idempotent, äquivalent, null-erkennend? kanonisch?

Johannes Waldmann 2007-01-30