DLMF公司 3760份文件中引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: Mathematica;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
MMT公司 54篇文献引用(2009–2022) 软件作者: 弗洛里安·拉贝 相关软件: OMDoc;质量管理团队;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
STEXIDE公司 5份文件引用(2010–2013) 软件作者: 朱可夫斯基(Jucovschi),君士坦丁(Constantin);迈克尔·科尔哈斯 相关软件: TNT基地;MMT;Mizar… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
VMEXT公司 6篇文献引用(2017–2022) 软件作者: 莫里茨·舒博茨(Moritz Schubotz);诺曼·穆什克;托马斯·赫普(Thomas Hepp);霍华德·科尔。;吉普,贝拉 相关软件: DLMF;CitePlag;LaTeXML… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)