Ordinal calculator is an easy to use application that evaluates ordinal expressions and relations and displays the normal form output in plain text and/or TeX format. The application supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
Here are some key features of "Ordinal calculator":
· Interactive tool to understand the recursive ordinals
· Ordinal arithmetic calculator
· A research tool for investigating the ordinal hierarchy
· Supports the Veblen hierarchy, the Veblen function and beyond
· LaTeX output option
What's New in This Release: [ read full changelog ]
· This release corrects the definition of the Gamma function on the ordinals and fixes some minor bugs. It has expanded documentation
Find us on Google+
