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)