Download von ordinal.pdf (ordinal.pdf ( externer Link: SourceForge.net): 1,826,767 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf ordinal.pdf ( externer Link: SourceForge.net).
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.