Download of ordCalc_0.3exe.tar.gz (ordCalc_0.3exe.tar.gz ( external link: SF.net): 1,417,458 bytes) will begin shortly. If not so, click link on the left.
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.