iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PHREEQC公司 31份文件引用（2004年-2023年） 软件作者： 帕克赫斯特，D.L.，阿佩洛，C.J 相关软件： PhreeqcRM；水文地球化学；MoMaS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
谜 25篇文献引用(2017–2023) 软件作者： Jakubův，J.，Urban，J。 相关软件： E定理证明器；VAMPIRE公司；FEMaLeCoP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
阿克斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 塔马林；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
IPACS公司 15篇文献引用(2020–2023) 软件作者： 玛丽·惠勒（Mary F.Wheeler）。；托马斯·威克（Thomas Wick）；李桑贤 相关软件： 交易.ii；特里利诺斯；OpenGeoSys… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CUBIC公司 9份文件引用(2014–2020) 软件作者： Ha，S.，Rhee，I.，Xu，L。 相关软件： ns-2；自旋蛋白；口香糖… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
乔瑞克 在11份文件中引用(2012–2023) 软件作者： 埃曼纽尔·弗朗克；Hölzl，马提亚斯；亚历山大·莱斯格（Alexander Lessig）；Sonnendrücker，埃里克；Huysmans GTA；沙尔尼·O 相关软件： MFEM；XTOR；BOUT++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
浸透 在11份文件中引用(1996–2023) 软件作者： Harald Ganzinger、Robert Nieuwenhuis、Pilar Nivela 相关软件： VAMPIRE公司；SPASS；地板… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
DRUtES公司 10篇文献引用（2010年-2023年） 软件作者： 库拉季，米查尔；彼得·迈耶（Petr Mayer）；莱普什，马特；达格马尔·特普科索娃 相关软件： ROS3P；安德森；Adgfem… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
iProver-Eq型 10篇文献引用（2010年-2023年） 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LLNet公司 8份文件引用(2018–2023) 软件作者： Kin Gwn Lore、Adedotun Akintayo、Soumik Sarkar 相关软件： AlexNet；CBAM；启发GAN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥尔加.lib 7份文件引用(2017–2023) 软件作者： 约翰·霍夫曼，维克托·列万多夫斯基 相关软件： 单一；复数；JAS… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
多孔多相泡沫 7份文件引用(2015–2023) 软件作者： Horgue，P。；苏莱恩，C。；Franc，J。；吉伯特，R。；Debenes，G。 相关软件： OpenFOAM；DuMuX；OpenGeoSys… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
自动变速器2 6篇文献引用（2016年至2019年） 软件作者： 詹伯华 相关软件： Isabelle/HOL；伊莎贝尔；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布劳德本特（Christopher Broadbent）；Carayol，阿诺；黑格，马修；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
EPCBC公司 6篇文献引用(2011–2017) 软件作者： Yap、Huihui；Khoo、Khongming；阿克塞尔·波希曼；马特·亨里克森 相关软件： SageMath；SPECK；西蒙… 主要字段： 运筹学，数学编程（90-XX）；信息与通信理论，电路（94-XX）
鸡蛋 4份文件引用(2021–2023) 软件作者： Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件： CatLib；同意；Verigraph… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
mregular（规则的） 5份文件引用(2000–2023) 软件作者： I.Bermejo，Gimenez博士；格特·马丁·格雷尔 相关软件： 单一；麦考利2号；数字gps… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
传真。（f） 5份文件引用（1997年至2022年） 软件作者： 环，P。；甘希尔，Y.K。；拉拉齐西斯，G.A。 相关软件： – 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）；相对论与引力理论（83-XX）
ELMFIRE公司 4份文件引用(2008–2018) 软件作者： J.A.Heikkinen；S.Henriksson；S.Janhunen；T.P.Kiviniemi；F.奥甘多 相关软件： GYSELA公司；硝酚；COGENT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
得到 2份文件引用(2016–2020) 软件作者： 杰纳罗·苏卡拉特、费利克斯·普雷蒂斯、詹姆斯·里德 相关软件： lgarch；R；动物园… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
瓦伦 4份文件引用（2013年至2018年） 软件作者： A.Apostolico、M.Comin、L.Parida 相关软件： MADMX；WordSpy；MotifMiner… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
胶水-IT 2份文件引用（2009-2013年） 软件作者： 安德鲁·菲斯（Andrew E.Firth）；韦恩·帕特里克 相关软件： 踏板-AA；PARI/GP；AMPL公司 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
踏板-AA 2份文件引用（2009-2013年） 软件作者： 安德鲁·菲斯（Andrew E.Firth）；韦恩·帕特里克 相关软件： 胶质-IT；PARI/GP；AMPL公司 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
CCS网 2份文件引用(2022–2023) 软件作者： Gege Wen、Catherine Hay、Sally M.Benson 相关软件： DeepXDE；MESHFREE；GELU… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
2013年CID 2份文件引用(2015–2018) 软件作者： 托妮·维塔宁（Toni Virtanen）；米科·努鲁丁；米科·瓦赫特拉诺克萨（Mikko Vaahteranoksa）；皮尔科·奥蒂宁；海基宁，尤卡 相关软件： MatConvNet；FSIM；TID2013… 主要字段： 信息与通信理论，电路（94-XX）
激光计算机辅助设计 2份文件引用(2013–2014) 软件作者： LAS-CAD股份有限公司 相关软件： HOL灯；HOL；数学方案… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
伦敦警察局局长 1份文件引用(2021) 软件作者： 詹姆斯·麦克卢尔（James E.McClure）、李哲（Zhe Li）、马克·贝里尔（Mark Berrill）、托马斯·拉姆斯塔德（Thomas Ramstad） 相关软件： github 主要字段： 流体力学（76-XX）；地球物理学（86-XX）
核磁共振成像 在0个文档中引用 软件作者： K.Tabelow、E.Balteau、J.Ashburner、M.F.Callaghan、B.Draganski、G.Helms、F.Kherif、T.Leutritz、A.Lutti、Ch.Phillips、E.Reimer、L.Ruthotto、M.Seif、N.Weiskopf、G.Ziegler、S.Mohammadi 相关软件： POAS4SPM；qMR实验室 主要字段： –
IDeR 1份文件引用(2021) 软件作者： 徐，L。；赵，D。；Yan，Y。；Kwong，S。；陈，J。；段·L·Y。 相关软件： 泛网（PanNet） 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
孔隙流量 1份文件引用(2018) 软件作者： Raoof，A。；尼克·H。；Hassanizadeh，S。；斯皮尔斯，C。 相关软件： HybGe-Flow3D；3DMA岩石；GitHub… 主要字段： 流体力学（76-XX）
PSIMR公司 1份文件引用(2014) 软件作者： Josep M.Olm。；多明戈·贝尔；恩里克·福萨斯；拉斐尔，持卡人 相关软件： – 主要字段： 运筹学，数学编程（90-XX）；系统论；控制（93-XX）
西格拉夫 1份文件引用(2016) 软件作者： Leone、J.Baranauskas、R.Furriel 相关软件： ENZPACK公司；K角；Matlab… 主要字段： 生物学和其他自然科学（92-XX）
WavepHOx公司 1份文件引用(2017) 软件作者： Bresnahan，P.J。；沃思，T。；马茨·T·R。；Andersson，A.J。；Cyronak，T。；丹吉洛，S。；彭尼斯，J。；梅尔维尔，W.K。；Lenain，L。；定子，N。 相关软件： – 主要字段： 流体力学（76-XX）