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.
Latest 5 files |
|||
|---|---|---|---|
| Name | Size | Date | Download count |
| ordinalarith.pdf | 511.7 KB | 2012-08-04 07:06 | 29 |
| README | 3.8 KB | 2012-08-04 03:17 | 2 |
| README | 0.9 KB | 2012-08-04 03:08 | 7 |
| ordInstall.exe | 1.9 MB | 2012-08-04 02:56 | 33 |
| ordinal.pdf | 1.8 MB | 2012-08-04 02:55 | 26 |
All Files |
|||
| ordinalarith.pdf | 511.7 KB | 2012-08-04 07:06 | 29 |
| README | 3.8 KB | 2012-08-04 03:17 | 2 |
| Rel_5 | |||
| README | 0.9 KB | 2012-08-04 03:08 | 7 |
| ordInstall.exe | 1.9 MB | 2012-08-04 02:56 | 33 |
| ordinal.pdf | 1.8 MB | 2012-08-04 02:55 | 26 |
| ordCalc_0.3.2exe.zip | 1.8 MB | 2012-08-04 02:54 | 3 |
| ordCalc_0.3.2exe.tar.gz | 1.8 MB | 2012-08-04 02:53 | 4 |
| ordCalc_0.3.2.tar.gz | 4.2 MB | 2012-08-04 02:52 | 4 |
| ordCalc_0.3.2.tar.bz2 | 3.3 MB | 2012-08-04 02:49 | 1 |
| ordCalc.pdf | 254.9 KB | 2012-08-04 02:47 | 26 |
| Rel_4 | |||
| README | 0.9 KB | 2012-02-09 02:17 | 1 |
| ordCalc_0.3.1.tar.gz | 3.5 MB | 2012-02-08 14:02 | 5 |
| ordInstall.exe | 1.6 MB | 2012-02-08 12:50 | 6 |
| ordinal.pdf | 1.5 MB | 2012-02-08 12:49 | 13 |
| ordCalc_0.3.1_exe.zip | 1.5 MB | 2012-02-08 12:48 | 1 |
| ordCalc_0.3.1_exe.tar.gz | 1.5 MB | 2012-02-08 12:47 | 2 |
| ordCalc_0.3.1.tar.bz2 | 2.7 MB | 2012-02-08 12:46 | 1 |
| ordCalc.pdf | 185.8 KB | 2012-02-08 12:45 | 19 |
| Rel_3 | |||
| README | 0.8 KB | 2011-01-22 08:45 | 3 |
| ordinal.pdf | 1.3 MB | 2011-01-22 03:55 | 21 |
| ordInstall.exe | 1.5 MB | 2011-01-22 03:55 | 4 |
| ordCalc_0.3exe.zip | 1.4 MB | 2011-01-22 03:55 | 3 |
| ordCalc_0.3exe.tar.gz | 1.4 MB | 2011-01-22 03:55 | 1 |
| ordCalc_0.3.tar.gz | 2.9 MB | 2011-01-22 03:55 | 0 |
| ordCalc_0.3.tar.bz2 | 2.1 MB | 2011-01-22 03:55 | 2 |
| ordCalc.pdf | 186.5 KB | 2011-01-22 03:55 | 24 |
| Rel_2 | |||
| patchRelease.txt | 0.7 KB | 2010-01-26 03:55 | 2 |
| patch1 | 1.2 KB | 2010-01-26 03:54 | 2 |
| ordCalc_0.2.tar | 24.2 MB | 2010-01-19 10:31 | 1 |
| ordInstall.exe | 3.0 MB | 2010-01-19 10:15 | 4 |
| ordinal.pdf | 718.5 KB | 2010-01-19 10:10 | 20 |
| ordCalc.pdf | 182.1 KB | 2010-01-19 10:09 | 16 |
| ordCalc_0.2.tar.bz2 | 1.1 MB | 2010-01-19 10:00 | 1 |
| release_notes.txt | 1.1 KB | 2010-01-19 09:55 | 1 |
| Rel_1 | |||
| README | 3.2 KB | 2009-09-18 00:26 | 2 |
| ordCalc_0.1.tar | 7.0 MB | 2009-09-18 00:06 | 2 |
| ordCalc_0.1.tar.bz2 | 504.1 KB | 2009-09-17 03:30 | 1 |
| ordInstall.exe | 2.0 MB | 2009-09-16 03:21 | 2 |
| ordinal.pdf | 333.6 KB | 2009-09-16 03:19 | 11 |
| ordCalc.pdf | 58.5 KB | 2009-09-16 03:18 | 19 |
