×

找到3个软件包(结果1-3)

LPL软件

20篇文献引用(2000–2023)
软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease
相关软件: EPGY;减少;OTTER…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

几何导师

3份文件引用(1986–2007)
软件作者: J.R.安德森、C.F.波义耳、G.约斯特。
相关软件: 门托尼耶;巴赫拉;CHYPRE…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

欧拉

1份文件引用(1994)
软件作者: 弗兰克·延森;弗兰克·米特尔巴赫
相关软件: pdfTeX;cjk;amsthm…
主要字段: 计算机科学(68-XX)

筛选结果依据…