GAMS游戏 898份文件引用(1984–2024) 软件作者： GAMS开发公司，GAMS软件有限公司 相关软件： CPLEX；AMPL；MINOS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
棱镜 498份文件引用(2001–2023) 软件作者： 奎亚特科夫斯卡，玛尔塔；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
Maple的全局优化工具箱 154份文件引用(1997–2023) 软件作者： Janos Pinter；Maplesoft软件 相关软件： 地方政府官员；算法829；基因组学… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
塔马林 31份文件引用(2015–2023) 软件作者： Meier，S.、Schmidt，B.、Cremers，C.、Basin，D。 相关软件： 莫德-NPA；莫德；阿基斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PyDS工具 21篇文献引用(2012–2023) 软件作者： Clewley RH、Sherwood WE、LaMar MD、Guckenheimer JM 相关软件： MATCONT；Matlab；自动… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
数据包 17篇文献引用(2002–2019) 软件作者： 托尔斯玛，J.E。；P.I.巴顿 相关软件： DASSL；DASPK 3.0；SNOPT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变异微积分和最优控制；优化（49-XX）…
匹配工具 9份文件引用（2018年至2024年） 软件作者： 胡安·克里亚多 相关软件： CoDEx；DsixTools；威尔逊… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
西格玛* 13份文件引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
Cpp运输 12份文件引用（2017年-2023年） 软件作者： 大卫·西里 相关软件： PyTransport；答对 了；多模式代码 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；微分几何（53-XX）…
SCAMP公司 7份文件引用（1991年至2011年） 软件作者： 赫伯特·M·索罗（Herbert M.Sauro）。；大卫·A·费尔。 相关软件： GEPASI；虚拟细胞；电子电话… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GPTIPS系统 7份文件引用(2014–2022) 软件作者： Searson DP、Leahy DE、Willis MJ 相关软件： 奥维托；Scikit；Matlab… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
可视化状态 7份文件引用(1999–2010) 软件作者： 林德·尼尔森，约恩；安徒生、亨利克·雷夫；亨利克·胡尔加德（Henrik Hulgaard）；贝尔曼，格尔德；Kristoffersen，科勒；金·拉森 相关软件： CBMC；APS；NuSMV… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统论；控制（93-XX）
机器人 7份文件引用(1993–2020) 软件作者： N.Docquier、A.Poncelet、P.Fisette 相关软件： EasyDyn；Chrono；帕西莫多… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；粒子力学与系统（70-XX）…
StocHy公司 8份文件引用(2019–2023) 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统论；控制（93-XX）
阿尔巴 7份文件引用(1991–2020) 软件作者： Grant O.jun.库克。；Jeffrey F.画家。 相关软件： GENTRAN公司；PDEQSOL；CTADEL… 主要字段： 总体主题；藏品（00-XX）；积分方程（45-XX）；数值分析（65-XX）…
雅可比2.0 7份文件引用(2001–2021) 软件作者： 马丁·科勒（Martin Kröger）；胡特，马库斯；汉斯·克里斯汀·奥廷格 相关软件： Mathematica；地理统计；SymPy公司 主要字段： 动力系统与遍历理论（37-XX）；微分几何（53-XX）；数值分析（65-XX）…
SYMORO公司+ 5份文件引用（1990年至2017年） 软件作者： Khalil，W.，Creusot，D。 相关软件： 机器人；马克西玛；MuJoCo… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
CLUE公司 5份文件引用(2021–2024) 软件作者： Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件： 侵蚀；尼莫；微分方程.jl… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
EAGO.jl公司 6篇文献引用(2022–2023) 软件作者： Wilhelm ME，Stuber医学博士 相关软件： 朱莉娅；libMC；MAiNGO… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IRIT公司 5份文件引用(2004–2021) 软件作者： G.Elber，以色列海法Technion计算机科学系 相关软件： VTK；犰狳；C制作… 主要字段： 偏微分方程（35-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
交易记录 6篇文献引用(2011–2021) 软件作者： Otpuschennikov，I.、Semenov，A.、Kochemazov，S。 相关软件： MiniSat；氚；URSA… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；信息与通信理论，电路（94-XX）
CoSP公司 5份文件引用(2010–2018) 软件作者： Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件： AVISPA；轻松加密；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
小茴香 4份文件引用(1995–2007) 软件作者： V.卢西奇 相关软件： 超级钙；Mathematica；SUPERGRAV… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OPTMODEL（光学模型） 4份文件引用(2004–2020) 软件作者： SAS研究所。 相关软件： SAS；警察；Ipopt… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
RTNI公司 4份文件引用(2019–2021) 软件作者： 福田本久（Motohisa Fukuda）、罗伯特·柯尼格（Robert Koenig）、伊恩·内奇塔（Ion Nechita） 相关软件： IntHaar；蟒蛇；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）…
SOSlib公司 3份文件引用(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；COPASI；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
CASPA公司 4份文件引用(2008–2015) 软件作者： 延斯·巴赫曼；马丁·里德尔（Martin Riedl）；约翰·舒斯特（Johann Schuster）；马库斯·西格尔 相关软件： 棱镜；CUDD；参数 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
DyNet（动态网络） 1份文件引用(2021) 软件作者： Graham Neubig、Chris Dyer、Yoav Goldberg、Austin Matthews、Waleed Ammar、Antonios Anastasopoulos、Miguel Ballesteros、David Chiang、Daniel Clothiaux、Trevor Cohn、Kevin Duh、Manal Faruqui、Cynthia Gan、Dan Garrette、Yangfeng Ji、Lingpeng Kong、Adhiguna Kuncoro、Gaurav Kumar、Chaitanya Malaviya、Paul Michel、Yusuke Oda、Matthew Richardson、，Naomi Saphra、Swabha Swayamdipta、Pengcheng Yin 相关软件： PyTorch；链子；宏复制… 主要字段： 计算机科学（68-XX）
F溶剂 3份文件引用(2006–2019) 软件作者： Gálvez，A。；A.伊格莱西亚斯。 相关软件： Matlab；lsqnonlin；ODEPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
金苏达 3份文件引用(2021–2024) 软件作者： S.M.Nobile、P.Cazzaniga、D.Besozzi、G.Mauri 相关软件： MPGOS；CUDA；日晷… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；弹跳城堡… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
KagNet公司 3份文件引用(2020–2023) 软件作者： Bill Yuchen Lin、Xinyue Chen、Jamin Chen、Xiang Ren 相关软件： GPT-3；Tensor2传感器；BERT… 主要字段： 计算机科学（68-XX）
MidiNet公司 2份文件引用(2020–2023) 软件作者： Li-Chia Yang、Szu Yu Chou、Yi-Hsuan Yang 相关软件： 亚当；LakhNES公司；穆塞根… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
PySR公司 2份文件引用(2023–2024) 软件作者： 克兰默，M。 相关软件： 坎；FPINN；NeuralUQ… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
URBiVA公司 3份文件引用(2010–2014) 软件作者： 菲利普·马里奇；贾尼契奇，普雷德拉格 相关软件： 萨齐拉；MiniSat；糖… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·莫里斯。；霍华德，马克 相关软件： 卡利班；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
离合器 2份文件引用(2020–2021) 软件作者： 库斯图夫·辛哈（Koustuv Sinha）、沙贡·索德哈尼（Shagun Sodhani）、金东（Jin Dong）、乔尔·皮诺（Joelle Pineau）、威廉·汉密尔顿（William L.Hamilton） 相关软件： DeepProbLog；RelNN；NLProlog… 主要字段： 计算机科学（68-XX）
显式PRISMSymm 2份文件引用(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；蒂伦·帕特尔 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
GoTube公司 2份文件引用(2022) 软件作者： 索菲·格伦巴赫（Sophie Gruenbacher）、马蒂亚斯·莱切纳（Mathias Lechner）、拉明·哈萨尼（Ramin Hasani）、丹妮拉·罗斯（Daniela Rus）、托马斯·汉津格（Thomas A.Henzinger）、斯科特·斯莫尔卡（Scott Smol 相关软件： 火炬差异；Reluplex；流量*… 主要字段： 计算机科学（68-XX）
GROOME公司 2份文件引用(2001) 软件作者： 维克多·甘扎（Victor G.Ganzha）。；奇比索夫（Dmytro Chibisov）；沃罗佐佐夫，叶夫根尼五世。 相关软件： SciNapse；枫树 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
交叉点编号。米 2份文件引用(2023) 软件作者： 帕特里克·杰斐逊；安德鲁·特纳（Andrew P.Turner）。 相关软件： 数学软件 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；量子理论（81-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）
MEMSA实验室 2份文件引用(2014–2022) 软件作者： 瓦利德·贝尔基尔；阿兰·乔尔盖蒂；米歇尔·伦茨纳 相关软件： CoReS；汤姆；枫树 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
PiMaG公司 2份文件引用(2005–2011) 软件作者： Manolios、Panagiotis；Srinivasan，Sudarshan K。 相关软件： MiniSat；Calysto；Velev SAT基准… 主要字段： 计算机科学（68-XX）
相对标准偏差 1份文件引用(2016) 软件作者： 奥尔德马尔·罗德里格斯、卡洛斯·阿奎罗、豪尔赫·阿尔塞 相关软件： 符号DA；GPCSIV；ISDA。R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）
SMACS系统 2份文件引用(2011–2012) 软件作者： 加布里埃尔·卡里恩（Gabriel Kalyon）；特里斯坦勒加尔；赫夫·马尔坎德；蒂埃里·马萨特 相关软件： 固定点；UMDES；停机坪 主要字段： 系统论；控制（93-XX）
加速 2份文件引用(2010–2012) 软件作者： 安顿巴拉日；伊万娜·维达诺维奇；达尼卡·斯托吉尔科维奇；杜珊·武德拉戈维奇；Aleksandar Belić；Aleksandar Bogojević 相关软件： Mathematica；数学张量；SPRNG公司 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
观察者 2份文件引用(2022–2023) 软件作者： 瓦桑特，萨拉西；丹尼尔·卡森伯格（Daniel Kasenberg）；希瓦姆·戈尔；辛纳波夫、基夫科；马蒂亚斯·谢伊茨 相关软件： PointNet；概念网；CPLEX… 主要字段： 计算机科学（68-XX）
模拟Insydes 1份文件引用(2011) 软件作者： 马提亚斯·豪泽；克里斯蒂安·萨尔泽（Christian Salzig）；亚历山大·德雷耶 相关软件： 数学软件 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
数据驱动DiffEq.jl 1份文件引用(2022) 软件作者： Martensen，J.、Rackauckas，C.等人 相关软件： 建模工具包.jl；SymPy；符号数字集成.jl… 主要字段： 计算机科学（68-XX）
dMod（数字模式） 在0个文档中引用 软件作者： 丹尼尔·卡舍克（Daniel Kaschek）；沃尔夫冈·马德尔；米尔贾姆·费林·卡舍克；马库斯·罗森布拉特；延斯·蒂默 相关软件： 浮夸；座谈会；rPython… 主要字段： –
ESCO_OperatorInference_Time-Dependent问题 1份文件引用(2023) 软件作者： Yannis Schumann；菲利普·诺伊曼 相关软件： 石溪；glmnet；Python… 主要字段： 算子理论（47-XX）；数值分析（65-XX）
日本JAX-DIPS 1份文件引用(2023) 软件作者： Pouria A.Mistani。；萨米拉·帕克拉万；拉杰什·伊兰戈；弗雷德里克·吉布 相关软件： JAXopt；DGM；DeepONet；…（D）… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
Kamodo公司 在0个文档中引用 软件作者： Asher D Pembroke；达伦·德泽奥（Darren DeZeeuw）；卢兹·拉施塔特；丽贝卡·林盖特；奥利弗·格兰德；德鲁夫·帕特尔；迈克尔·孔特雷拉斯 相关软件： PYSAT；等离子体；Pysat Kamodo… 主要字段： –
LBMAT公司 1份文件引用(2023) 软件作者： 拉德克·富奇克；巴维尔·艾希勒；克林科夫斯克，雅库布；罗伯特·斯特拉卡（Robert Straka）；托马斯·奥伯胡贝尔 相关软件： GiNaC公司 主要字段： 数值分析（65-XX）
LISPACK系列 1份文件引用(1992) 软件作者： Iazeolla G.、Marinuzzi F 相关软件： 丽莎；穆马特-83 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）
MIDI2vec公司 在0个文档中引用 软件作者： Lisena P.、Meroño-Peñuela A.、Troncy R。 相关软件： MuseScore；音乐；jSymbolic… 主要字段： –
多PredGO 1份文件引用(2023) 软件作者： Giri，Swagarika Jaharlal；普拉蒂克·杜塔；哈拉尼，Parth；斯里帕纳·萨哈 相关软件： MetaGO；GOProFormer公司；DeepGO… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
音乐（musicaiz） 在0个文档中引用 软件作者： 卡洛斯·埃尔南德斯·奥利文（Carlos Hernandez-Olivan），何塞·贝尔特兰（Jose R.Beltran） 相关软件： 音乐变形金刚；PyTorch；MMM… 主要字段： –
纸莎草纸-RT 1份文件引用(2022) 软件作者： 萨胡、斯内哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳 相关软件： Mjollnir公司；OCRA；NuSMV… 主要字段： 计算机科学（68-XX）
参数估计.jl 在0个文档中引用 软件作者： Soo Go、Hoon Hong、Ilia Ilmer、Alexey Ovchinnikov、Pedro Soto、Chee Yap 相关软件： sbtoolbox；数据2Dynamics；微分方程.jl… 主要字段： –
PyCosmo公司 在0个文档中引用 软件作者： Alexandre Refregier、Lukas Gamper、Adam Amara、Lavinia Heisenberg 相关软件： 希望；宇宙科学；CosmoSpec… 主要字段： –
SENSE（感知） 1份文件引用(2019) 软件作者： M.Khaled、M.Rungger、M.Zamani 相关软件： BDD2实施；p面；ROCS… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
符号GPT 1份文件引用(2023) 软件作者： Mojtaba Valipour、Bowen You、Maysum Panju、Ali Ghodsi 相关软件： github；PMLB；SMCPy… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）