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)