水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
西雅娜 75篇文献引用(2012–2023) 软件作者： J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件： TensorFlow；亚当；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达尔科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格勒 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AceGen公司 45篇文献引用（2001年-2023年） 软件作者： J·科尔克。 相关软件： AceFEM；数学；短信… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
短信 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： 数学；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LTSmin公司 在25份文件中引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： 数学；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
毒蛇 在25份文件中引用(2016–2023) 软件作者： 彼得·穆勒（Peter Müller）、马尔特·施沃尔霍夫（Malte Schwerhoff）、亚历山大·萨默斯（Alexander J.Summers） 相关软件： VeriFast；达夫尼；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
Symstra公司 12份文件引用(2005–2021) 软件作者： 谢、陶；达科·马里诺夫；沃尔夫拉姆·舒尔特；大卫·诺金 相关软件： 科拉特；Java PathFinder；DART… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GENTRAN公司 19份文件引用(1986–2000) 软件作者： GATES，B.L.公司。 相关软件： 减少；手指；马西玛… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据包 17篇文献引用(2002–2019) 软件作者： 托尔斯玛，J.E。；P.I.巴顿 相关软件： DASSL；DASPK 3.0；SNOPT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
第3章 13份文件引用(2015–2023) 软件作者： Trinh MT、Chu DH、Jaffar J 相关软件： 陌生人；Z3str3；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GKLEE公司 11份文件引用(2013–2022) 软件作者： 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件： CUDA；GPU验证；OpenCL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
ATESAT卫星 11份文件引用(1998–2018) 软件作者： 阿巴德。；Elipe，A。；Palacián，J。；桑·胡安，J.F。 相关软件： PSPC；数学；数学卫星… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
MBSymba手机 12份文件引用（2004年至2021年） 软件作者： R地块。；M·达里奥。 相关软件： 枫树；罗德斯；Ipopt；…（可选）… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GMac公司 9份文件引用(2014–2022) 软件作者： 艾哈迈德·霍斯尼·阿瓦德·艾德 相关软件： 盖根；加洛普；CLUCalc… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
凯特辛迪 9份文件引用(2016–2020) 软件作者： Setsuo Takato公司 相关软件： 灰姑娘；KETpic公司；LaTeX… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RBDL公司 7份文件引用(2019–2023) 软件作者： M.L.费利斯 相关软件： github；卡萨迪；木偶… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
机器人 7份文件引用(1993–2020) 软件作者： N.Docquier、A.Poncelet、P.Fisette 相关软件： EasyDyn；Chrono；帕西莫多… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；粒子力学与系统（70-XX）…
依偎 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿里加托.jl 7份文件引用(2018–2023) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；劳拉·科瓦奇 相关软件： 鳄鱼；SymPy公司；z3… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
阿尔卑斯山 7份文件引用(1991–2020) 软件作者： Grant O.jun.库克。；Jeffrey F.画家。 相关软件： GENTRAN公司；PDEQSOL；CTADEL… 主要字段： 总体主题；藏品（00-XX）；积分方程（45-XX）；数值分析（65-XX）…
群集Sim 5份文件引用(2015–2022) 软件作者： 马雷克·瓦莱西亚克（Marek Walesiak），安德烈·杜德克（Andrzej Dudek） 相关软件： R；簇（R）；cclust… 主要字段： 组合数学（05-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
发现 7份文件引用(1996–2013) 软件作者： 罗伯特·M·科尔利斯（Robert M.Corless）。；雅切克·罗基基 相关软件： MATLAB ODE套件；ode23s；代码113… 主要字段： 近似和展开（41-XX）；积分方程（45-XX）；概率论与随机过程（60-XX）…
HEPMath公司 5份文件引用(2017–2021) 软件作者： 马丁·威布什 相关软件： FeynCalc；数学；形式… 主要字段： 复变量函数（30-XX）；代数拓扑（55-XX）；统计学（62-XX）…
CPBPV公司 4份文件引用(2010–2023) 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；VIPR… 主要字段： 计算机科学（68-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
I2T型 1份文件引用(2012) 软件作者： 姚，B。；杨，X。；林，L。；Lee，M.W。；朱S.C。 相关软件： Im2Text；密度盖；PASCAL VOC… 主要字段： 计算机科学（68-XX）
ADTEST（自动测试） 1份文件引用(2009) 软件作者： 马修·加拉赫（Matthew J.Gallagher）；V.Lakshmi Narasimhan 相关软件： 基因组学；科拉特；纹身 主要字段： 计算机科学（68-XX）
BINSEC/SE银行 引用于3份文件(2017–2021) 软件作者： 罗宾·戴维；塞巴斯蒂安·巴丁；Thanh Ta；Josselin Feist；劳伦特·穆尼尔；玛丽·劳雷·波特；珍妮·伊夫·马里恩 相关软件： z3；CVC4；CBMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
cl1ck公司 引用于3份文件(2011–2016) 软件作者： 迪亚哥Fabregat-Traver；保罗·比伦蒂内西 相关软件： BLAS；LAPACK；火焰… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
三维液晶显示器 引用于3份文件(2003–2023) 软件作者： 弗朗西斯科·博塔纳 相关软件： 卢加雷斯；Calques 3D；数学… 主要字段： 凸和离散几何（52-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
欧几里得 2份文件引用(2012–2017) 软件作者： 阿尔诺·哥特利布（Arnaud Gotlieb）；本杰明·卡玛；IRISA的Lande项目团队 相关软件： 可爱的；投掷；派克斯… 主要字段： 计算机科学（68-XX）
格雷斯 2份文件引用(2006–2013) 软件作者： G.Belanger、F.Boudjema、J.Fujimoto、T.Ishikawa、T.Kaneko、K.Kato、Y.Shimizu 相关软件： SLHALib；循环工具；窗体计算… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
JST公司 引用于3份文件(2015–2017) 软件作者： Ghosh I、Shafiei N、Li G、Chiang W 相关软件： S3；Z3-str；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KLOVER公司 1份文件引用(2017) 软件作者： 李国栋；Indradeep Ghosh；Sreeranga P.Rajan先生 相关软件： SLAM；投掷；Angelix… 主要字段： 计算机科学（68-XX）
磅/英里 引用于3份文件（2023年） 软件作者： 马丁·鲍尔（Martin Bauer）；哈拉尔德·科斯特勒；乌尔里奇·吕德 相关软件： SymPy公司；瓦尔贝拉；STLBM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
数学代码 引用于3份文件(2012–2017) 软件作者： Fritzson P.、Engelson V.、Sheshadri K。 相关软件： 数学；Matlab；AWK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
MidiNet公司 2份文件引用(2020–2023) 软件作者： Li-Chia Yang、Szu Yu Chou、Yi-Hsuan Yang 相关软件： 亚当；穆塞根；LakhNES… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
RAFT公司 引用于3份文件(2002–2010) 软件作者： 奇拉卡帕蒂 相关软件： ADIFR；LEHGC；CORE2D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
估价员 引用于3份文件(2008–2010) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： 斯卡拉；数学；z3… 主要字段： 计算机科学（68-XX）
vlogsl语言 引用于3份文件(2011–2013) 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ImproteK公司 2份文件引用(2018) 软件作者： Nika、Jérôme、Marc Chemillier、Gérard Assayag 相关软件： DYCI2公司 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）
LakhNES公司 1份文件引用（2023年） 软件作者： Chris Donahue、Huanru Henry Mao、Yiting Ethan Li、Garrison W.Cottrell、Julian McAuley 相关软件： 穆塞根；音乐变形金刚；jSymbolic… 主要字段： 计算机科学（68-XX）
MARTY公司 1份文件引用（2023年） 软件作者： G.Uhlrich、F.Mahmoudi、A.Arbey 相关软件： SmeftFR；基本发电机；SuperTracer… 主要字段： 量子理论（81-XX）
新加坡金融管理局 2份文件引用(2014–2015) 软件作者： 马来亚，N.，Estacio-Hiroms，K.C.，Stogner，R.H.，Schulz，K.W.，Bauman，P.T.，Carey，G.F。 相关软件： Spalart Allmaras公司；libMesh；PETSc… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
马斯皮 在0个文档中引用 软件作者： Hao-Wen Dong、Ke Chen、Julian McAuley、Taylor Berg-Kirkpatrick 相关软件： 音乐变形金刚；PyTorch公司；相当中型… 主要字段： –
见证人 1份文件引用(2018) 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；克里斯托夫·马提亚（Christoph Matheja）；诺尔，托马斯 相关软件： 贾格诺 主要字段： 计算机科学（68-XX）
国防部 在0个文档中引用 软件作者： 丹尼尔·卡舍克（Daniel Kaschek）；沃尔夫冈·马德尔；Mirjam Fehling Kaschek；马库斯·罗森布拉特；延斯·蒂默 相关软件： 浮夸；CollocInfer；rPython… 主要字段： –
GENTRAN 90公司 1份文件引用(1994) 软件作者： 华盛顿州博斯特。；Goldman，V.V。；van Hulzen，J.A。 相关软件： 范围1.5；手指；GENTRAN… 主要字段： 计算机科学（68-XX）
JUGE公司 在0个文档中引用 软件作者： 泽维尔·德夫罗伊（Xavier Devroey）、阿莱西奥·甘比（Alessio Gambi）、胡安·巴勃罗·加莱奥蒂（Juan Pablo Galeotti）、勒内·贾斯特（Rene Just）、菲苏姆·基费图（Fitsum Kifetew）、安妮贝尔·帕尼切拉（An 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： –
PyCosmo公司 在0个文档中引用 软件作者： Alexandre Refregier、Lukas Gamper、Adam Amara、Lavinia Heisenberg 相关软件： 希望；宇宙科学；CosmoSpec… 主要字段： –
StarFinder公司 1份文件引用(2019) 软件作者： Pham，Long H。；Le，Quang Loc；Phan，Quoc-Sang；孙军；秦胜超 相关软件： 日本煤炭公司；日本证券交易所；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
符号DA 在0个文档中引用 软件作者： Andrzej Dudek、Marcin Pelka、Justyna Wilk、Marek Walesiak 相关软件： RSDA；GPCSIV；ISDA。R、 … 主要字段： –
符号数字集成.jl 1份文件引用(2022) 软件作者： 伊朗文，沙赫里亚尔；卡尔·朱利叶斯·马滕森；亚历山德罗·切利；沙什·高达（Shashi Gowda）；阿南德·杰恩（Anand Jain）；马英波；拉考卡斯，克里斯 相关软件： 建模工具包.jl；SymPy公司；数据驱动DiffEq.jl… 主要字段： 计算机科学（68-XX）
SYMOFROS公司 1份文件引用(2003) 软件作者： Piedbœuf，Jean-Claude；科维塞斯，约瑟夫；摩尔，布赖恩；雷金特·阿尔切维奇 相关软件： – 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）
SymPKF公司 在0个文档中引用 软件作者： 奥利维尔·潘尼科克（Olivier Pannekoucke）、菲利普·阿博加斯特（Philippe Arbogast） 相关软件： PDE-NetGen；SymPy公司；蟒蛇 主要字段： –
Tenscalc公司 1份文件引用(2022) 软件作者： Joáo P.赫斯帕尼亚。 相关软件： Matlab；SDPT3；COLAMD… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
MSeqGen公司 在0个文档中引用 软件作者： Suresh Thummalapenta；陶燮；尼古拉·蒂尔曼；乔纳森·德哈勒克斯（Jonathan de Halleux）；沃尔夫拉姆·舒尔特 相关软件： – 主要字段： –