麦考利2 引用于2263份文件(1988–2024) 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
OCaml公司 274份文件引用(1998–2023) 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： 辅酶q；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
DiffSharp（差异锐化） 216篇文献引用(2016–2024) 软件作者： Baydin，A.G.，Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LiE公司 180篇文献引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛拓夫、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
轻量级Java 108篇文献引用(2001–2023) 软件作者： Atsushi Igarashi；本杰明·皮尔斯（Benjamin C.Pierce）。；菲利普·沃德勒 相关软件： JML；毫升；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： 辅酶q；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin Mohring，C.教授。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SCL总成 32篇文献引用(2009–2024) 软件作者： 杜珊·武德拉戈维奇；伊万娜·维达诺维奇；安顿巴拉日；Muruganandam，Paulsamy；Adhikari，Sadhan K。 相关软件： 格罗斯·皮塔耶夫斯基；AEDU；图像时间1d… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
贝塔 22篇文献引用(1985–2016) 软件作者： Bent Bruun Kristensen、Ole Lehrmann Madsen、Birger Möller-Pedersen、Kristen Nygaard 相关软件： 艾菲尔铁塔；Simula 67；Smalltalk… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
烟火 20篇文献引用(2020–2024) 软件作者： 伊利·宾厄姆（Eli Bingham）；Chen，Jonathan P。；马丁·扬科维亚克（Martin Jankowiak）；奥伯迈耶，弗里茨；尼拉吉·普拉丹；卡拉莱索斯（Karaletsos）、提奥凡尼（Theofanis）；罗希特·辛格；保罗·谢里普（Paul Szerlip）；保罗·霍斯福尔（Paul Horsfall）；诺亚·D·古德曼。 相关软件： 斯坦；TensorFlow；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各布·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PySAT公司 引用于27份文件(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
URDME公司 25篇文献引用(2009–2023) 软件作者： Drawert，B.，Engblom，S.，Hellander，A。 相关软件： MesoRD；步骤；斯莫尔丁… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
StanfordCoreNLP公司 17篇文献引用(2017–2023) 软件作者： 曼宁、克里斯托弗·D、米海·苏尔德努、约翰·鲍尔、詹妮·芬克尔、史蒂文·贝瑟德、大卫·麦克洛斯基 相关软件： NLTK；蟒蛇；GitHub… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o临床；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
牢房设计师 17篇文献引用(2007–2019) 软件作者： Funahashi A.、Morohashi M.、Kitano H.、Tanimura N。 相关软件： KEGG；MetaCyc；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
放松NG 18篇文献引用(2003–2018) 软件作者： J.Clark，M.Murata 相关软件： XPath；PERL；XSugar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
CertiCoq认证 17篇文献引用(2017–2022) 软件作者： Anand，A.，Appel，A.，Morrisett，G.，Paraskevopoulou，Z.，Pollack，R.，Belanger，O.S.，Sozeau，M.，Weaver，M。 相关软件： 辅酶q；CakeML；OEuf… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
eXist公司 7份文件引用（2003年至2017年） 软件作者： 沃尔夫冈·迈尔 相关软件： XPath；XQuery；Globus工具包… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
兽人 15篇文献引用(2009–2023) 软件作者： 大卫·基钦（David Kitchin）；Quark，阿德里安；威廉·库克；贾亚德夫·米斯拉 相关软件： 奶牛；莫德；朱莉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
灵丹妙药 16篇文献引用(1982–2005) 软件作者： Ramakrishnan，K.G。；密特拉·D·。 相关软件： FIDIL；GENTRAN公司；阿尔巴 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOL布吉 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
小爪哇 13份文件引用(2005–2020) 软件作者： 阿兰·杰弗里（Alan Jeffrey）；朱利安·拉特克 相关软件： Z；艾菲尔铁塔；多重显示… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
OxMetrics公司 13份文件引用(2007–2020) 软件作者： 克林特·康明斯；尤尔根·A·门尼克；David F Hendry；暹粒·扬·库普曼；塞巴斯蒂安·洛朗；马吕斯·乌姆斯；尼尔·R·爱立信；安德鲁·哈维（Andrew C Harvey）；尼尔·谢泼德（Neil Shephard）；查尔斯·博斯 相关软件： 公牛；R；长备忘录… 主要字段： 历史与传记（01-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
GCCA公司 在11份文件中引用(2011–2022) 软件作者： 阿尼尔·K·塞斯 相关软件： MVGC；大脑连接工具箱；BSMART… 主要字段： 统计学（62-XX）；统计力学，物质结构（82-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
里昂 12份文件引用(2014–2022) 软件作者： 雷吉斯·布兰科；维克多·昆卡（Viktor Kuncak）；艾蒂安·克劳斯；菲利普·苏特 相关软件： CVC4；达夫尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生锈带 13份文件引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；辅酶q；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MadAnalysis公司 12份文件引用(2015–2023) 软件作者： E.Conte、B.Fuks、G.Serret 相关软件： PYTHIA8；德尔菲斯；MadGraph5_aMC@NLO; … 主要字段： 概率论与随机过程（60-XX）；粒子和系统力学（70-XX）；光学、电磁理论（78-XX）…
美赞臣 9份文件引用（2006年至2019年） 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
十二国集团 10篇文献引用(2005–2018) 软件作者： Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；Michael Maher；Kim万豪酒店；约翰·斯莱尼；佐尔坦·索莫吉；马克·华莱士；托比·沃尔什 相关软件： 微量锌；SCIP；本质… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
洛克史密斯 10篇文献引用(2008–2021) 软件作者： Pratikakis，P.、Foster，J.S.、Hicks，M。 相关软件： 继电器；橡皮擦；地精… 主要字段： 计算机科学（68-XX）
MiniAgda公司 在11份文件中引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： 辅酶q；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
斑点 10篇文献引用(2008–2023) 软件作者： 范登伯格；迈克尔·弗里德兰德 相关软件： ASTRA；GitHub；PDCO… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
阿克拉 10篇文献引用(2005–2011) 软件作者： 乔瓦尼·佩祖洛；Gianguglielmo·卡尔维 相关软件： 古巴国防部；可可；戴恩… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺（Maurice Bruynooghe）；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·詹森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
副驾驶员 8份文件引用(2012–2022) 软件作者： Pike L、Goodloe A、Morisset R、Niller S 相关软件： 卢斯特；LOLA；JPAX… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
KJS公司 9份文件引用(2015–2021) 软件作者： 格里戈·罗什u安德烈·特夫内斯库大峻公园 相关软件： K-Java；莫德；Coq… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
克莱纳代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
PaGMO公司 6篇文献引用(2014–2023) 软件作者： 弗朗西斯科·比斯卡尼（Francesco Biscani）、达里奥·伊佐（Dario Izzo）、奇·洪扬（Chit Hong Yam） 相关软件： PaGMO/PyGMO；SciPy；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
RAJA公司 6篇文献引用(2016–2024) 软件作者： Beckingsale DA、Scogland TR、Burmark J、Hornung R、Jones H、Killian W、Kunen AJ、Pearce O、Robinson P、Ryujin BS、J.Keasler 相关软件： Kokkos公司；PETSc；AMReX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
视觉基因组 9份文件引用(2018–2024) 软件作者： Ranjay Krishna、Yuke Zhu、Oliver Groth、Justin Johnson、Kenji Hata、Joshua Kravitz、Stephanie Chen、Yannis Kalandis、Li Jia-Li、David Ayman Shamma、Michael Bernstein、Li Fei-Fei 相关软件： MS-COCO；更快的R-CNN；WordNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
阿卡多 6篇文献引用(2018–2023) 软件作者： 罗宾·弗舒伦（Robin Verschueren）、吉安卢卡·弗里森（Gianluca Frison）、迪米特里斯·库佐普斯（Dimitris Kouzoupis）、尼尔斯·范·杜伊克伦（Niels van Duijkeren）、安德烈亚·扎内利（Andrea Zanelli）、布兰尼米尔·诺沃塞尔尼克（Branimir Novoselnik）、乔纳森· 相关软件： HPIPM；ACADO；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；博勒，布兰登；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
POEM公司 8份文件引用(2006–2022) 软件作者： 普罗旺斯大学；彼得·尼伯特（Peter Niebert）；曲洪阳 相关软件： Uppaal；自旋蛋白；IF-2.0… 主要字段： 计算机科学（68-XX）
样品 8份文件引用(2008–2022) 软件作者： 巴伦特，克里斯蒂安；乔塔姆·米特拉；穆斯塔法·萨奇；福勒，罗伯特 相关软件： MSLiP；古罗比；PySP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
蛇 7份文件引用(2008–2022) 软件作者： 弗兰克·波默罗 相关软件： TINA；海伦娜；ITS工具… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
宝石派 5份文件引用(2019–2024) 软件作者： 米盖尔·德拉·瓦尔加、亚历山大·沙夫、弗洛里安·威尔曼 相关软件： 红色套件；大熊猫；光栅… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LRinv公司 7份文件引用(2009–2023) 软件作者： Kawabe，M.，Glück，R。 相关软件： SyReC；屋顶PPC；GDB… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
多BUGS 3份文件引用(2019–2022) 软件作者： Goudie，R.J.B.、Turner，R.M.、De Angelis，D.、Thomas，A。 相关软件： R；WinBUGS；卡爪… 主要字段： 统计学（62-XX）
ACSS代码 5份文件引用(1999–2020) 软件作者： 河津月亮；J.Jack Lee；Hongshik Ahn；鲁米亚娜·尼科洛娃 相关软件： 网络统计；LISP-STAT；网络… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
字节网 5份文件引用(2017–2024) 软件作者： Nal Kalchbrenner、Lasse Espeholt、Karen Simonyan、Aaron van den Oord、Alex Graves、Koray Kavukcuoglu 相关软件： WaveNet；亚当；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
OpenMusic音乐 4份文件引用(2009–2015) 软件作者： 布列松，J.，阿贡，C.，阿萨雅格，G。 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
模拟POP 5份文件引用(2008–2020) 软件作者： Kimmel M、Peng B 相关软件： R；ROCR；CRAN… 主要字段： 算子理论（47-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
Commons数学 4份文件引用(2010–2021) 软件作者： Apache软件基金会 相关软件： 棱镜；Matlab；ACL2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
空标题 3份文件引用(2017–2022) 软件作者： Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christopher Ré 相关软件： HyperBench；利格拉；图形X… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
马塔 3份文件引用(2012–2020) 软件作者： StataCorp公司 相关软件： Stata公司；培根；mixlogit… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PyNEST公司 3份文件引用(2016–2022) 软件作者： Eppler J.M.、Helias M.、Muller E.、Diesmann M.、Gewaltig M.-O 相关软件： 巢穴；派恩；神经元… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
皮特基特 4份文件引用(2021–2023) 软件作者： Seyon Sivarajah、Silas Dilkes、Alexander Cowtan、Will Simmons、Alec Edgington、Ross Duncan 相关软件： QISKit；网络X；DisCoPy… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）；量子理论（81-XX）…
QWire公司 5份文件引用(2017–2019) 软件作者： Payikin，J.、Rand，R.、Zdancewic 相关软件： 奎珀；问题#；凯伊迈拉X… 主要字段： 总体主题；藏品（00-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TomoPhantom公司 3份文件引用(2018–2022) 软件作者： 丹尼尔·卡赞采夫；瓦列里·皮卡洛夫；Srikanth Nagella；埃多尔多·帕斯卡（Edoardo Pasca）；菲利普·J·威瑟斯 相关软件： ASTRA；Matlab；Python… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CoReS公司 4份文件引用(2018–2022) 软件作者： 芭芭拉·柯尼格；内德科恩，马克西姆；诺尔特，丹尼斯 相关软件： z3；SMT-LIB；MEMSALab… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
长石 2份文件引用(2015–2016) 软件作者： E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件： 熔岩；哈斯克尔；旋风… 主要字段： 计算机科学（68-XX）
G小调 4份文件引用（2010年至2019年） 软件作者： 安德鲁·麦克里特（Andrew McCreight）；蒂姆·骑士；安德鲁·托尔马赫 相关软件： 辅酶q；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
LightDP（光DP） 4份文件引用(2017–2023) 软件作者： 张丹凤；丹尼尔·基弗 相关软件： 私人LR；河豚；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
微型搜索 3份文件引用(2017–2019) 软件作者： Rendl，A.，Guns，T.，Stuckey，P.J.，Tack，G。 相关软件： 微量锌；通用电气；本质… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
猫头鹰 2份文件引用(2022–2023) 软件作者： 王亮（Liang Wang） 相关软件： OCaml；DGM；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕戈达 4份文件引用(2015–2022) 软件作者： 周玉娇；格劳，伯纳多·昆卡；亚沃·内诺夫；马克·卡明斯基（Mark Kaminski）；伊恩·霍洛克斯 相关软件： 数据日志；Polyanna；CEX… 主要字段： 计算机科学（68-XX）
部落 4份文件引用（2010年至2016年） 软件作者： Clarke，D.、Drossopoulou，S.、Noble，J.、Wrigstad，T。 相关软件： Waldmeister；梅斯4；校准仪9… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
行波管 3份文件引用(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈尔 相关软件： LoTREC公司；MSPASS；SableCC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
核心之星 3份文件引用(2016–2017) 软件作者： M Botinan、D Distefano、M Dodds等人。 相关软件： VeriFast；小脚；自行车手… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EMOSL公司 3份文件引用(2001–2015) 软件作者： 詹姆斯·特博特（James Tebboth）；丹尼尔、罗伯特 相关软件： MIPLIB2003；hMETIS公司；GCG… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
四层楼 3份文件引用(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
赫敏 3份文件引用(2014–2015) 软件作者： 尼尔·斯卡索普（Neil Sculthorpe）；安德鲁·法默（Andrew Farmer）；安迪·吉尔 相关软件： nofib；辅酶q；AProVE公司 主要字段： 计算机科学（68-XX）
IRIS公司 2份文件引用(2020–2023) 软件作者： 贝内什，J。；约翰斯顿，M。；Plotnikov，S。 相关软件： 迪纳尔；SolveDSGE；DSGE.jl… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）