STEXIDE公司 5份文件引用(2010–2013) 软件作者： 朱可夫斯基（Jucovschi），君士坦丁（Constantin）；迈克尔·科尔哈斯 相关软件： TNT基地；MMT；Mizar… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
公式生成器MathML 引用于3份文件(2010–2011) 软件作者： 安德烈·科瓦尔丘克（Andriy Kovalchuk）；维亚切斯拉夫·列维茨基；伊戈尔·萨莫卢克（Igor Samolyuk）；瓦伦廷·扬楚克 相关软件： 甾体；SPARQL；arXMLiv… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
STEX公司+ 引用于3份文件(2010–2011) 软件作者： 安德烈亚·科尔哈斯（Andrea Kohlhase）；迈克尔·科尔哈斯（Michael Kohlhase）；克里斯托夫·兰格 相关软件： SPARQL；甾体；数学Dox… 主要字段： 计算机科学（68-XX）