伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin-Mohring，C。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
卵磷脂 39篇文献引用(2006–2023) 软件作者： 马提亚斯·海尔（Matthias Heil），安德鲁·哈泽尔（Andrew L.Hazel） 相关软件： 特里利诺斯；超级LU；自动… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ISTL公司 在25份文件中引用(2007–2021) 软件作者： M.Blatt；P.巴斯蒂安 相关软件： DUNE；DuMuX；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
无人值守地面 在25份文件中引用(2012–2024) 软件作者： Yuji Shinano、Tobias Achterberg、Timo Berthold、Stefan Heinz、Thorsten Koch 相关软件： ParaSCIP；SCIP；MIPLIB… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；数值分析（65-XX）…
ADMIT公司 22篇文献引用(1999–2020) 软件作者： 托马斯·科尔曼。；弗玛，阿伦 相关软件： ADIFR；ADMAT；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
半人马座 19份文件引用(1991–2022) 软件作者： Borras，P.、Clément，D.、Despeyroux，Th.、Incerpi，J.、Kahn，G.、Lang，B.、Pascual，V、 相关软件： K校准仪；Coq；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
脱咖啡因咖啡 11份文件引用(2000–2005) 软件作者： 约翰·格雷厄姆（John R.Graham）。；基思·S·戴克。 相关软件： 旅行者号；GroupKit；高尔夫… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CPGraph（CPGraph） 16篇文献引用(2005–2022) 软件作者： Deville，Y.、Dooms，G.、Zampelli，S.、Dupont，P。 相关软件： 红衣主教；Gecode公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DMPlex公司 16篇文献引用(2016–2023) 软件作者： 迈克尔·兰格；劳伦斯·米切尔；马修·克内普利（Matthew G.Knepley）。；杰拉德·J·戈尔曼。 相关软件： PETSc；Firedrake；道芬… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
网格实验室 10篇文献引用(2002–2010) 软件作者： 赛德尔（Ed Seidel）；加布里埃尔·艾伦；安德烈·默兹基；Jarek Nabrzyski 相关软件： Globus工具包；GrADS；Java CoG工具包… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CAESAR_解决 11份文件引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
HOL-Z公司 5份文件引用(2005–2011) 软件作者： David Basin；库鲁马、平野武；Kazuo Takaragi；沃尔夫，伯克哈特 相关软件： Z；HOL；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
doRNG公司 4份文件引用(2017–2022) 软件作者： 雷诺·高茹（Renaud Gaujoux） 相关软件： foreach；R；do并行… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
贝叶斯·门德尔 6篇文献引用(2004–2022) 软件作者： 陈思宁；王文毅；Broman，Karl W。；霍尔穆兹德·卡基（Hormuzd A.Katki）。；乔瓦尼·帕尔米吉亚尼 相关软件： 博阿迪西亚；R；亲属关系2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
蒙巴萨 引用于7份文件(2002–2023) 软件作者： 安德烈亚斯·费斯塔格；拉斯·韦斯特霍夫；亚当·沃利斯 相关软件： MacMPEC公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CaSPER公司 6篇文献引用(2007–2013) 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 相关软件： 小精灵；Gecode公司；CSPLib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
沙丘-xt 引用于3份文件(2021–2022) 软件作者： 托比亚斯·莱布纳、雷内·米尔克、费利克斯·辛德勒 相关软件： DUNE；libMesh；ISTL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）
苹果汁 引用于3份文件(2002–2004) 软件作者： 安东尼·詹森（Anthony R.Jansen）。；Kim万豪酒店；伯恩德·梅耶 相关软件： AToM3；DiaGen；QOCA公司 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
开放式转弯 2份文件引用(2012) 软件作者： 米夏·鲍丁；安妮·杜特福（Anne Dutfoy）；贝特朗·洛斯；Anne-Laure府绸 相关软件： Scikit；蟒蛇；蝙蝠侠… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
CAPLib公司 引用于3份文件（2000年至2006年） 软件作者： Leggett，P.F。；约翰逊，S.P。；克罗斯，M。 相关软件： CAPTools；MatWeb；SHMEM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
GemCell公司 2份文件引用（2008年） 软件作者： 阿米尔·克罗尔（Amir-Kroll），希拉（Hila）；阿维塔尔·萨多特；科恩（Irun R.Cohen）。；大卫·哈雷 相关软件： Matlab；生物炭 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
磅/英里 引用于3份文件（2023年） 软件作者： 马丁·鲍尔（Martin Bauer）；哈拉尔德·科斯特勒；乌尔里奇·吕德 相关软件： SymPy公司；瓦尔贝拉；STLBM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
泄漏 引用于3份文件(1994–2012) 软件作者： 安东尼奥·阿伦卡尔（Antonio J.Alencar）、约瑟夫·高根（Joseph A.Goguen） 相关软件： AGG；亨欣；凹槽… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
格洛塔兰语 在0个文档中引用 软件作者： Joris Snellenburg、Sergey Laptenok、Ralf Seger、Katharine Mullen、Ivo Van Stokkum 相关软件： R；RKWard公司；扣除者… 主要字段： –
指南 2份文件引用(2009) 软件作者： Heinzl，René；菲利普·施瓦哈；弗兰茨·斯蒂姆弗尔（Franz Stimpfl）；齐格弗里德·塞尔伯赫尔 相关软件： 促进；MCSTL；特里利诺斯… 主要字段： 计算机科学（68-XX）
英里/小时 2份文件引用(2005–2016) 软件作者： 沃尔特·施雷普斯（Walter Schreppers）；弗兰基·巴克尔贾乌；安妮·库伊特 相关软件： 库恩；COIN-OR/GAMSLinks；抄送… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
肌肉2 2份文件引用(2019) 软件作者： Borgdorff J、Mamonski M、Bosak B、Kurowski K、Ben Belgacem M、Chopard B、Groen D、Coveney PV、Hoekstra AG。 相关软件： SfePy；数字Py；mpi4py… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
在轨 1份文件引用（2014年） 软件作者： James，P.、Trumble，M.、Treharne，H.、Roggenbach，M.和Schneider，S。 相关软件： 模型案例；PVSio-网；E定理证明… 主要字段： 计算机科学（68-XX）
CBRAIN公司 1份文件引用(2022) 软件作者： 谢里夫，T。；Rioux，P。；M.-E.卢梭。；北卡罗来纳州卡斯斯。；贝克，N。；阿达拉特，R。；达斯，S。；Glatar，T。；A.C.埃文斯。 相关软件： 自由冲浪者；Expectreg；隐藏… 主要字段： 统计学（62-XX）
COMBIgor公司 在0个文档中引用 软件作者： Kevin R.Talley、Sage R.Bauers、Celeste L.Melamed、Meagan C.Papac、Karen Heinselman、Imran Khan、Dennice M.Roberts、Valerie Jacobson、Allison Mis、Geoff L.Brennecka、John D.Perkins、Andriy Zakutayev 相关软件： IGOR专业 主要字段： –
深度图像J 在0个文档中引用 软件作者： Gómez de-Mariscal E、García-López de-Haro C、Ouyang W、Donati L、Lundberg E、Unser M等 相关软件： BioImage模型动物园；零成本DL4Mic；ImJoy… 主要字段： –
弗勒瓦 在0个文档中引用 软件作者： Kadow，C.、Illing，S.、Lucio-Eceiza，E.E.、Bergemann，M.、Ramadoss，M.，Sommer，P.S.、Kunst，O.、Schartner，T.、Pankatz，K.、Grieger，J.、Schuster，M.和Richling，A.、Thiemann，H.、Kirchner，I.、Rust，H.W.、Ludwig，T.，Cubasch，U.、Ulbrich，U。 相关软件： ESMValTool；MurCSS；解决方案… 主要字段： –
智能工具 1份文件引用(2001) 软件作者： 伊莎贝尔·阿塔利；卡琳·库比斯（Carine Courbis）；德根，帕斯卡；亚历山大·福奥（Alexandre Fau）；迪迪埃·帕里戈特 相关软件： ATERM公司 主要字段： 计算机科学（68-XX）
VCWC公司 在0个文档中引用 软件作者： 格恩瑟·查瓦特；乔瓦姆巴蒂斯塔·伊安尼；托马斯·克伦瓦尔纳（Thomas Krennwallner）；马丁·克罗内格（Martin Kroneger）；安德烈亚斯·普芬德勒；克里斯托夫·雷德尔；马丁·施温格勒；斯彭迪埃，劳拉·卡塔琳娜；约翰·彼得·沃纳（Johannes Peter Wallner）；肖国辉 相关软件： TPTP；芦笋；Runsolver… 主要字段： 计算机科学（68-XX）