故障电流互感器++ 66份文件引用(2000–2023) 软件作者： 德米特里·察尔科夫；伊恩·霍洛克斯 相关软件： 颗粒；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PGSolver公司 41篇文献引用(2009–2023) 软件作者： 奥利弗·弗里德曼；马丁·兰格 相关软件： Oink；Strix公司；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
mCRL 24篇文献引用(2001–2022) 软件作者： 斯特凡·布洛姆；Wan Fokkink；格罗特，扬·弗里索；伊扎克·范·朗格沃尔德；伯特·利瑟 相关软件： Uppaal；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）…
通量 11份文件引用(2020–2024) 软件作者： Innes M酒店 相关软件： 朱莉娅；微分方程.jl；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Ontop（顶部） 13份文件引用(2014–2021) 软件作者： 罗曼·孔查科夫（Roman Kontchakov）；马丁·雷兹克；马里亚诺·罗德里格斯·穆罗；肖国辉；迈克尔·扎克哈里亚舍夫 相关软件： MASTRO公司；SPARQL；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
代码任务 4份文件引用(2007–2013) 软件作者： 埃尔纳尔·哈吉耶夫；马修·韦巴埃（Mathieu Verbaere）；Oege De Moor公司 相关软件： 方面J；JHotDraw；XSB… 主要字段： 计算机科学（68-XX）
国际奥委会 8份文件引用(2001–2017) 软件作者： 沃杜利斯、克里斯托斯；拉斐尔·多恩；大卫·莱辛（David Lesaint）；安妮·利雷特 相关软件： 本地化人员；易捷本地++；COMET… 主要字段： 一般性和全局性主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CompCertS公司 4份文件引用(2017–2019) 软件作者： 贝松，弗雷德里克；Blazy，Sandrine；皮埃尔·威尔克 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
国际历史GC 4份文件引用(2014–2022) 软件作者： 拉杰夫·戈尔；吉米·汤姆森；吴杰西 相关软件： fCube；ILTP；直觉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Gc平移 3份文件引用(2007–2011) 软件作者： 丹尼尔·赫希科夫（Daniel Hirschkoff）；Damien Pous；戴维·桑吉奥吉 相关软件： SLMC；OCaml；科莱姆… 主要字段： 计算机科学（68-XX）
桑托里奥 2份文件引用（2004年） 软件作者： 普罗丹，拉杜；托马斯·法林格 相关软件： SCALEA公司；PostgreSQL；Oracle… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
耐力 2份文件引用(2017–2021) 软件作者： 纳塔娜·菲亚尔科夫；雨果·金贝尔；Edon Kelmendi；丹尼斯·库珀伯格 相关软件： 算法97；语言；github 主要字段： 计算机科学（68-XX）
德索拉 在0个文档中引用 软件作者： 弗朗西斯·罗素。；迈克尔·梅勒（Michael R.Mellor）。；Paul H.J.Kelly。；奥拉夫·贝克曼 相关软件： SUIF；Blitz++库；BLAS… 主要字段： –
克努斯·莫里斯·普拉特 1份文件引用(2019) 软件作者： 费比安·海洛尔（Fabian Hellauer）；彼得·兰米奇 相关软件： 埃德蒙兹-卡普；CAVA LTL模型检查器；IEEE_浮动点… 主要字段： 计算机科学（68-XX）
蓝色PyOpt 在0个文档中引用 软件作者： 沃纳·范盖特（Werner Van Geit）、迈克尔·格瓦特（Michael Gevaert）、朱塞佩·钦德米（Giuseppe Chindemi）、克里斯蒂安·罗塞特（Christian Rössert）、珍妮斯·库科尔（Jean-Denis Courcol）、埃利夫·穆勒（Eilif Muller）、费利克斯·舒尔曼（Felix Sch 相关软件： – 主要字段： –