文件名称:Ordinal calculator-开源
文件大小:512KB
文件格式:PDF
更新时间:2024-05-17 14:21:41
开源软件
该程序评估序数表达式和关系。 以纯文本和/或TeX格式显示标准格式输出。 它支持普通符号,甚至超出了Veblen函数可定义的符号。
文件名称:Ordinal calculator-开源
文件大小:512KB
文件格式:PDF
更新时间:2024-05-17 14:21:41
开源软件
该程序评估序数表达式和关系。 以纯文本和/或TeX格式显示标准格式输出。 它支持普通符号,甚至超出了Veblen函数可定义的符号。