Ordinal calculator download

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.

Features

Interactive tool to understand the recursive and countable ordinals
Ordinal arithmetic calculator
A research tool for exploring the ordinal hierarchy
Supports the Veblen hierarchy, the Veblen function and beyond
Generalizes recursive ordinal notations to larger countable ordinals
LaTeX output option

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Ordinal calculator

Ordinal calculator Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Ordinal calculator !

Additional Project Details

Operating Systems

BSD, Cygwin, Linux, Windows

Languages

English

Intended Audience

Education, Science/Research

User Interface

Command-line

Programming Language

C++

Database Environment

Flat-file

Related Categories

C++ Mathematics Software, C++ Computer Aided Instruction (CAI) Software, C++ Calculators

Registered

2009-09-14

Similar Business Software

Titan

Build the forms, portals, documents, eSignatures, surveys, and workflows your business needs while keeping Salesforce at the center of it all. Titan brings these experiences into a single Salesforce-first platform, with data connected to Salesforce in real time rather than creating another place...

See Software for Titan
TelemetryOS

TelemetryOS is a vertically integrated platform for connected screens, kiosks, and screen applications. Purpose-built Node hardware, a hardened Edge operating system, Studio cloud, an integrated video CDN, and an application runtime work together so every display can show the right content,...

See Software for TelemetryOS
Eurekos

Eurekos is the customer training LMS built to educate the world outside your organization – partners, distributors and resellers. Most companies spend years perfecting their product, then hand customers a repurposed employee training course and hope for the best. When those customers churn,...

See Software for Eurekos
Kinderpedia

Kinderpedia is the AI-powered school management software & student information system for K-12 schools, preschools and nurseries. Trusted by 2,000+ schools in 40+ countries, it helps institutions simplify operations, reduce teachers’ admin burden, strengthen family engagement and improve...

See Software for Kinderpedia
Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software for Gradelink SIS
Bookinglayer

Bookinglayer is a booking and management platform built specifically for retreat centers, surf camps, outdoor operators, and wellness or boutique properties sell accommodation and activities together. No hotel PMS was built to sell nights in a room, with no way to schedule a lesson, cap a group...

See Software for Bookinglayer

Report inappropriate content