Ordinal calculator-开源

【文件属性】：

文件名称：Ordinal calculator-开源

文件大小：512KB

文件格式：PDF

更新时间：2024-05-17 14:21:41

开源软件

该程序评估序数表达式和关系。 以纯文本和/或TeX格式显示标准格式输出。 它支持普通符号，甚至超出了Veblen函数可定义的符号。