|
|
|
|
Mit einer Vielzahl von Typprüfoperationen können Eigenschaften konkreter Zahlen, wie
nichtnegativ, Primzahl usw., festgestellt werden.
Gleitpunktzahlen können mit beliebiger Präzision genutzt werden.
In der Regel arbeiten die Systeme mit einer Voreinstellung für die Präzision, die nach
Bedarf verändert werden kann.
Die Systeme kennen spezielle Zahlen, die für die Mathematik von fundamentaler Bedeutung
sind wie, 
,
und 
.
Sie gehen mit diesen Zahlen symbolisch um, können sie jedoch für numerische
Berechnungen auch in beliebiger Präzision verwenden.
|
|