萨奇莫 92份文件引用(1988–2023) 软件作者： Manthey，R.，Bry，F。 相关软件： TPTP；水獭；SETHEO… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；群论与推广（20-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
COBRA工具箱 13份文件引用(2010–2024) 软件作者： 劳伦特·海伦特（Laurent Heirendt）、西尔万·阿雷克斯（Sylvain Arreckx）、托马斯·普福尔（Thomas Pfau）、塞巴斯蒂安·门多萨（Sebastian N.Mendoza）、安妮·里泽尔（Anne Richelle）、阿尔穆特·海因肯（Almut Heinken）、胡尔达·S·哈拉尔德斯多蒂（Hulda S.Haraldsdottir）、雅克·瓦乔维克（Jacek Wachowiak）、莎拉·基廷（Sarah M.Keating）、瓦尼亚·弗拉索夫（Vanja Vlasov），Aarash Bordbar、Benjamin Cousins、Diana C.El Assal、Luis V.Valcarcel、Inigo Apaolaza、Susan Ghaderi、Masoud Ahookhosh、Marouen Ben Guebila、Andrejs Kostromins、Nicolas Sompairac、Hoai M.Le、丁玛、孙月凯、Lin Wang、James T.Yurkovich、Miguel A.P.Oliveira、Phan T.Voung、Lemmer P.El Assar、Inna Kuperstein、Andrei Zinovyev、H。Scott Hinton、William A.Bryant、Francisco J.Aragon Artacho、Francis J.Planes、Egils Stalidzans、Alejandro Maass、Santosh Vempala、Michael Hucka、迈克尔·桑德斯、Costas D.Maranas、Nathan E.Lewis、Thomas Sauter、Bernhard。Palsson、Ines Thiele、Ronan M.T.Fleming、， 相关软件： 协同作战；Matlab；扩展… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
JSMAA公司 12份文件引用(2012–2022) 软件作者： Tervonen，T。 相关软件： diviz；M-MACBETH；定义… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
H-PILoT公司 6篇文献引用(2009–2021) 软件作者： Carsten Ihlemann，Viorica Sofrone-Stokkermans公司 相关软件： z3；REDLOG；草蜢… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MGTP公司 6篇文献引用(1995–2013) 软件作者： 长谷川龙子；藤田宏；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
萨彻姆ID 6篇文献引用(1995–2004) 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ModGen公司 6篇文献引用(1996–2019) 软件作者： Kim S.、Zhang H。 相关软件： Mace4；猎鹰；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
多边投资担保机构 引用于3份文件(2004–2009) 软件作者： 贝尔纳多·莫尔塞戈；乔塞普·弗尔特斯（Josep M.Fuertes）。；加布里埃拉·塞姆布兰诺 相关软件： —— 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
ParJava语言 引用于3份文件(2007–2009) 软件作者： 副总裁伊万尼科夫。；阿维提斯扬，A.I。；Gaissaryan，S.S。；医学硕士Akopyan。 相关软件： 小教堂；MPJ Express；要塞… 主要字段： 计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
重新混合 在0个文档中引用 软件作者： 马科·纳戈德（Marko Nagode）、布拉尼斯拉夫·帕尼奇（Branislav Panic）、杰内伊·克莱门奇（Jernej Klemenc）、西蒙·阿曼（Simon Oman） 相关软件： 混合工具；混音师；flexmix… 主要字段： ——
AquaEnv公司 在0个文档中引用 软件作者： Andreas F.Hofmann、Karline Soetaert、Filip J.R.Meysman、Mathilde Hagens 相关软件： nlmeODE；解算；ReacTran；…（R）… 主要字段： ——
BRCM公司 1份文件引用（2018年） 软件作者： Sturzenegger，D.、D.Gyalistras、V.Semeraro、M.Morari、R.S.Smith 相关软件： —— 主要字段： 系统论；控制（93-XX）
神经构筑物 1份文件引用(2019) 软件作者： Gleeson，P.、Steuber，V.、Silver，R.A。 相关软件： 神经元；蟒蛇；SpineML… 主要字段： 生物学和其他自然科学（92-XX）
SPASS-AR公司 1份文件引用(2020) 软件作者： 安德烈亚斯·提克；克里斯托夫·韦登巴赫 相关软件： 阿凡达；雅高；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）