Wolfram功能站点 42篇文献引用(2007–2023) 软件作者: Wolfram研究公司。 相关软件: DLMF;Mathematica;仲裁… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
XBarnacle公司 4份文件引用(2000–2006) 软件作者: 迈克·杰克逊;海伦·洛;大卫·邓肯 相关软件: Nuprl;蛤;自动数学… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)