数学软件 6559份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PL/I公司 174篇文献引用（1965年至2001年） 软件作者： IBM公司 相关软件： COBOL；ALGOL 60；FORMAC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
工程计算 138篇文献引用(1991–2022) 软件作者： 参数技术公司 相关软件： Mathematica；枫树；Matlab… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（比基尼） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
Pyomo公司 103篇文献引用(2012–2024) 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；大卫·L·伍德拉夫。 相关软件： 古罗比；Ipopt；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： 辅酶q；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
仙人掌 70篇文献引用(2000–2023) 软件作者： 汤姆·古代尔；艾伦，加布里埃尔；Gerd Lanfermann；Joan Masso；托马斯·雷德克；爱德华·塞德尔（Edward Seidel）；约翰·沙尔夫 相关软件： 地毯；爱因斯坦工具包；乔博… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ACRITH-XSC公司 在48份文件中引用(1985–2019) 软件作者： 沃尔夫冈·沃尔特。 相关软件： C-XSC；C-XSC 2.0；PASCAL-XSC… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
数字 在48份文件中引用(1998–2023) 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FLAC公司 39篇文献引用(1989–2022) 软件作者： 伊塔斯卡 相关软件： FLAC3D；FIDAP；ABAQUS/显式… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Blitz++库 32篇文献引用(2000–2021) 软件作者： 托德·维尔德胡岑 相关软件： 闪电战++；促进；BLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KQML公司 16篇文献引用(1996–2019) 软件作者： Tim Finin、Richard Fritzson、Donald P McKay、Robin McEntile 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
UEML公司 28篇文献引用(1997–2010) 软件作者： Vernadat，F。 相关软件： 坦比斯；i*；高尔夫… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
犀牛 26篇文献引用(2004–2023) 软件作者： Robert McNeel&Associates公司 相关软件： ISOGAT；蚱蜢；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PLT兑换 25篇文献引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： 辅酶q；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
ATL公司 12份文件引用(2008–2021) 软件作者： 弗莱德里克·尤厄（Frédéric Jouault）；弗雷迪·阿利莱尔；让·贝齐文；伊万·库特夫 相关软件： HOL-OCL；UML2合金；AGG… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
铭文 23篇文献引用(2005–2023) 软件作者： 康纳·麦克布莱德 相关软件： 辅酶q；阿格达；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
JCell公司 14篇文献引用(2008–2021) 软件作者： 伯纳贝多罗索罗 相关软件： jMetal公司；SPEA2；MOEA/D… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
IPSEN公司 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
MUSCOD-II公司 19份文件引用(1998–2021) 软件作者： 海德堡大学；M.Diehl、D.B.Leineweber、A.A.S.Schäfer 相关软件： Ipopt；ADIFR；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
阿斯卡隆 6篇文献引用(2002–2012) 软件作者： 托马斯·法林格；亚历山德鲁·朱格拉武；萨布里·普拉纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
渐近线 13份文件引用(2007–2022) 软件作者： 安迪·哈默林德尔（Andy Hammerlindl）；约翰·鲍曼；汤姆·普林斯 相关软件： GiNaC；蟒蛇；MetaPost… 主要字段： 组合数学（05-XX）；复变量函数（30-XX）；几何（51-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）
槟榔 14篇文献引用(2015–2021) 软件作者： R.Hiptmair、L.Kielhorn 相关软件： Gmsh；ParaView；BEM++… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
APL2（APL2） 10篇文献引用(1988–2012) 软件作者： IBM公司 相关软件： 背包；abind；doBy… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
天才 在11份文件中引用(2010–2021) 软件作者： JiříLebl；丹尼尔·利奇布劳 相关软件： 稳定BBasisNBM5；一般证明；CliffOC… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；几个复变量和分析空间（32-XX）…
语法矩阵 2份文件引用(2006–2019) 软件作者： Bender E.、Flickinger D.、Oepen S。 相关软件： LKB；Prolog；GF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
RKWard公司 2份文件引用（2010年至2012年） 软件作者： Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件： R；Rcmdr；除尘器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
Veamy公司 6篇文献引用(2019–2023) 软件作者： 亚历杭德罗·奥尔蒂斯·伯纳丁（Alejandro Ortiz-Barnardin）、卡特琳娜·阿尔瓦雷斯（Catalina Alvarez）、南希·希施费尔德·卡勒（Nancy Hitschfeld-Kahler）、亚历山德罗·鲁索（Alessandro Russo）、罗德里戈·席尔瓦·瓦伦苏埃拉（ 相关软件： 三角形；Matlab；PolyMesher… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： 洛托斯；并发工作台；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PaGMO公司 6篇文献引用(2014–2023) 软件作者： 弗朗西斯科·比斯卡尼（Francesco Biscani）、达里奥·伊佐（Dario Izzo）、奇·洪扬（Chit Hong Yam） 相关软件： PaGMO/PyGMO；SciPy；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
FlashMeta软件 6篇文献引用(2017–2021) 软件作者： 奥列克桑德·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
塔朗 6篇文献引用(2018–2024) 软件作者： Teimurazov，A.S。；Stepanov，R.A。；Verma，M.K。；巴曼，S。；库马尔，A。；萨杜汗，S。 相关软件： 铅笔代码；闪电战++；Gerris… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
EAGO.jl公司 6篇文献引用(2022–2023) 软件作者： Wilhelm ME，Stuber医学博士 相关软件： 朱莉娅；libMC；MAiNGO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贾斯珀 4份文件引用(2002–2010) 软件作者： Michael，D.A.，Kossentini，F。 相关软件： YFCC100M；ImageNet；基蒂… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
杜松子 6篇文献引用(2018–2022) 软件作者： 奥列·克雷格（Ole Kröger）；卡尔顿·科夫林；哈桑·希贾齐；纳加拉扬，哈尔沙 相关软件： 邦明；JuMP；Ipopt… 主要字段： 运筹学、数学规划（90-XX）
MINOPT公司 6篇文献引用(2000–2013) 软件作者： C.A.Schweiger；C.A.弗洛达斯 相关软件： BARON公司；GAMS；AMPL… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
牛顿 5份文件引用（1997年至2013年） 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦特·米歇尔（Laurent Michel）；F.本哈莫。 相关软件： 太阳神；PASCAL-XSC；COMET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ProMoT项目 5份文件引用(2000–2021) 软件作者： F Tránkle、M Zeitz、M Ginkel；罗兰·沃施勒（Roland Waschler）；安吉莱斯·帕拉西奥斯（Angeles-Palacios），奥登（Odon）；马丁·金克尔（Martin Ginkel）；阿希姆·基恩勒 相关软件： 塔巴斯科；lpSolve；日晷… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；偏微分方程（35-XX）…
亚卡斯 3份文件引用（2002年-2023年） 软件作者： 阿亚尔·平库斯（Ayal Z.Pinkus）。；谢尔盖·威尼茨基 相关软件： Ryacas；R；SymPy… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿多拉 3份文件引用(2001–2010) 软件作者： 马丁·格林茨（Martin Glinz）；斯特凡·伯纳（Stefan Berner）；斯特凡·乔斯 相关软件： DiaGen；AToM3；ASTRAL公司 主要字段： 计算机科学（68-XX）
韩国石油公司 3份文件引用（2002年至2018年） 软件作者： 弗雷德·巴恩斯；皮特·韦尔奇 相关软件： Handel-C；occam-pi；FDR3… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；格雷，凯瑟琳·E。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；辅酶q；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
数学合作伙伴 5份文件引用(2017–2022) 软件作者： 马拉斯科诺克，G.I。 相关软件： SymPy；Mathematica；枫树 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
MontiCore公司 3份文件引用(2016–2021) 软件作者： 霍尔格·克拉恩（Krahn，Holger）；伦佩，伯恩哈德；史蒂文·沃尔克尔 相关软件： 梦幻岛；ANTLR；Spoofax… 主要字段： 计算机科学（68-XX）
澄清器 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；ACSL… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
Rely公司 5份文件引用(2018–2022) 软件作者： M.Carbin、S.Misailovic、M.Rinard 相关软件： 胡迪尼；APL；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
零售价 在0个文档中引用 软件作者： 沃尔特·莫雷拉（Walter Moreira）；格雷戈里·沃恩斯（Gregory R.Warnes）；劳伦特·戈蒂埃 相关软件： R；转速2；Python… 主要字段： –
卡特拉布 4份文件引用(2021–2022) 软件作者： 埃文·帕特森；戴维·斯皮瓦克。；德米特里·瓦格纳 相关软件： 制图员；朱莉娅；LightGraphs.jl… 主要字段： 范畴理论；同调代数（18-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）
代码搜索网 在0个文档中引用 软件作者： 哈默尔·侯赛因（Hamel Husain）、吴和雄（Ho-Hsiang Wu）、蒂费雷特·加齐特（Tiferet Gazit）、米尔蒂亚迪斯·阿拉马尼斯（Miltiadis Allamanis）、马克·布罗克施密特（Marc Brockschmidt） 相关软件： CodeXGLUE；CodeBERT；BERT… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
德纳利 3份文件引用(2006–2017) 软件作者： Rajeev Joshi、Greg Nelson、Keith Randall 相关软件： halp；代码提示；SyPet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马赫SMT 4份文件引用(2021–2022) 软件作者： 约瑟夫·斯科特（Joseph Scott）；艾娜·尼梅茨；马西亚斯·普雷纳；赛义德·内贾蒂；维杰·加内什 相关软件： MedleySolver；萨齐拉；z3… 主要字段： 计算机科学（68-XX）
numecolR公司 3份文件引用(2011–2022) 软件作者： 丹尼尔·博尔卡德（Daniel Borcard）；弗朗索瓦·吉列；皮埃尔·勒让德 相关软件： sedaR；猿；素食主义者… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
打开SeesPy 2份文件引用(2022) 软件作者： 朱敏杰、弗兰克·麦肯纳、迈克尔·斯科特 相关软件： VTK；Matplotlib；Python… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
萨维亚 4份文件引用(2011–2022) 软件作者： 休伯特，劳伦特；巴尔，尼古拉斯；贝松，Fr‘ed’eric；Demange，Delphine；托马斯·延森（Thomas Jensen）；文森特·蒙福特；大卫·皮哈迪（David Pichardie）；特平，蒂芬 相关软件： WALA；PAGAI；深悟空… 主要字段： 计算机科学（68-XX）
SPL征服者 3份文件引用(2016–2021) 软件作者： Siegmund，N.、Rosenmüller，M.、Kuhlemann，M.，Kästner，C.、Apel，S.、Saake，G。 相关软件： Scalasca；AlgoWiki；TAU… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Torsche公司 3份文件引用（2010年至2012年） 软件作者： 罗马·卡佩克；Zdeněk Hanzálek；PřemyslŠůcha；米查尔·索伊卡 相关软件： TrueTime；MaRTE操作系统；托勒密… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
代码XGLUE 在0个文档中引用 软件作者： 吕帅、郭大雅、朔仁、黄俊杰、阿列克谢·斯维亚特科夫斯基、布兰科、科林·克莱门特、道恩·德鲁伊、姜大新、杜玉堂、葛丽、周立东、寿林军、龙州、米歇尔·图法诺、明功、明州、南段、内尔·桑德雷桑、邓绍坤、傅胜瑜、刘淑杰 相关软件： CodeSearchNet；CodeBERT；BERT… 主要字段： –
深度修复 1份文件引用(2023) 软件作者： Rahul Gupta、Soham Pal、Aditya Kanade、Shirish Shevade 相关软件： PHOG；缺陷4J；先知… 主要字段： 计算机科学（68-XX）
简易分析仪 1份文件引用（2013年） 软件作者： Di Gaspero，L.，Roli，A.，Schaerf，A。 相关软件： 禁忌搜索；EasyLocal++；COMET… 主要字段： 运筹学、数学规划（90-XX）
四层楼 3份文件引用(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
通用散列函数库 2份文件引用(2009–2018) 软件作者： 阿拉什·帕托 相关软件： 糕点；班德拉；dSPIN… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
梅兰奇 3份文件引用(2019–2023) 软件作者： Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M 相关软件： 黑色素；莫德；AToMPM… 主要字段： 计算机科学（68-XX）
图片 2份文件引用(2018) 软件作者： Tejas D Kulkarni；Pushmet Kohli；Joshua B Tenenbaum；维卡什·曼辛加 相关软件： 能量；f-GAN；Wasserstein GAN… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
RAFT公司 3份文件引用(2002–2010) 软件作者： 奇拉卡帕蒂 相关软件： ADIFR；LEHGC；CORE2D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
博卡 1份文件引用(2011) 软件作者： Allan，B.A.，Norris，B.，Elwasif，W.R.，Armstrong，R.C 相关软件： DRFM；AmrLib；GrACE… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
EPK修复 2份文件引用(2015) 软件作者： A.Knapp、N.Koch、M.Wirsing、J.Duckeck、R.Lutze、H.Fritzsche、D.Timm、P.Closhen、M.Frisch、H.-J.Hoffmann、B.Gaede、J.Schneeberger、H.Stoyan、A.Turk 相关软件： 赫茨；ACSL；套管，套管 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
高斯 2份文件引用(2011–2018) 软件作者： 罗伯特·帕尔默；史蒂夫·巴鲁斯（Steve Barrus）；余阳；Ganesh Gopalakrishnan；罗伯特·柯比 相关软件： ISP；自旋蛋白；SLAM… 主要字段： 计算机科学（68-XX）
GpoSolver公司 2份文件引用(2016–2019) 软件作者： 海勒，简；托马斯·帕伊德拉 相关软件： GloptiPoly；Padua2D；备用BSOS… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
GRoundTram公司 2份文件引用(2015–2018) 软件作者： Hidaka，S.、Hu，Z.、Inaba，K.、Kato，H.、Nakano，K。 相关软件： 取消QL 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HolPy公司 2份文件引用(2021–2024) 软件作者： 徐润清；李黎明；詹伯华 相关软件： mftoolbox；杆；CBench… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
日本 2份文件引用(2012–2020) 软件作者： Pham Quang，Phuong；德利钦特，贝诺特 相关软件： Matlab；ADiJaC；dco/c++… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）