地理1.1 31份文件引用(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
MMP/几何仪 15篇文献引用（2004年-2023年） 软件作者： 高、小山；林强（Lin，Qiang） 相关软件： GEX；GCLC；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
OpenGeoProver（OpenGeoProvider） 12份文件引用(2015–2023) 软件作者： Predrag Janicic；伊万·彼得罗维奇 相关软件： GCLC；GEX；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；几何（51-XX）…
地理视图 9份文件引用(2006–2017) 软件作者： 贝托特，Y.、吉利霍特，F.、波蒂埃，L。 相关软件： 地质学；GCLC；MMP/Geometer… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
电子几何教科书 7份文件引用(2010–2020) 软件作者： 陈晓宇 相关软件： Intergeo；GCLC；GeoGebra… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
Doodle博士 7份文件引用(2004–2019) 软件作者： 丹尼尔·温特斯坦（Daniel Winterstein）；艾伦·邦迪；科林·古尔 相关软件： 防开启；Isabelle/HOL；超防… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
关贸总协定 6篇文献引用(2013–2020) 软件作者： 佩德罗·夸雷斯马；万达桑托斯；塞菲丁·布瓦莱格 相关软件： TGTP；Intergeo；地理信息… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
向ATINF致敬 2份文件引用(2001–2012) 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊格 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）