Gms小时 968份文件中引用(2003–2024) 软件作者: Christophe Geuzaine,Jean-François Remacle 相关软件: FEniCS;PETSc;ParaView… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
JML公司 161份文件引用(2000–2023) 软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司 相关软件: 规范#;艾菲尔铁塔;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
路径解算器 196篇文献引用(1995–2023) 软件作者: Michael C.Ferris。;托德·蒙森(Todd S.Munson)。 相关软件: GAMS;MCPLIB;MINOS… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
CUTEst公司 156篇文献引用(2014–2024) 软件作者: Gould,N.、Orban,D.、Toint,P.L。 相关软件: L-BFGS;Ipopt;兰斯洛… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(比基尼) 相关软件: 莫德;咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-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)…
列表-统计 88篇文献引用(1977–2019) 软件作者: 卢克·蒂尔尼 相关软件: R;远景;XGobi… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
阿巴克斯 117篇文献引用(1996–2022) 软件作者: 精灵,马提亚斯;卡斯滕·古特温格;迈克尔·Jünger;乔瓦尼·里纳尔迪 相关软件: CPLEX;MINTO公司;SYMPHONY… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
OpenAI健身房 69篇文献引用(2018–2023) 软件作者: Greg Brockman、Vicki Cheung、Ludwig Pettersson、Jonas Schneider、John Schulman、Jie Tang、Wojciech Zaremba 相关软件: PyTorch;MuJoCo;GitHub… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
山茶花 97篇文献引用(2001–2023) 软件作者: 青木,Kazumaro;铁杉一川;神田、Masayuki;松井、三井;森井、希荷;中岛俊子;Tokita、Toshio 相关软件: 克利夫亚;出席;方形… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
ACADO公司 76篇文献引用(2010–2024) 软件作者: 鲍里斯·胡斯卡;汉斯·约阿希姆·费罗;莫里茨·迪尔 相关软件: Ipopt;qpOASES;CasADi… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
IETI公司 70篇文献引用(2012–2023) 软件作者: S.K.Kleiss、C.Pechstein、B.Juttler、S.Tomar 相关软件: GeoPDE;G+Smo;ISOGAT… 主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…
KeY公司 55份文件引用(2000–2023) 软件作者: http://www.key-project.org/people.html 相关软件: JML;ESC/Java;卡拉卡拉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
根 34份文件引用(2001–2023) 软件作者: 勒内·布伦;天线制造商 相关软件: PYTHIA8;GEANT4;Python… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
叫做古迪辛 56篇文献引用(2014–2024) 软件作者: INRIA公司;克莱门特·玛丽亚;Jean-Daniel Boissonnat;马克·格利塞(Marc Glisse);玛丽埃特·伊维内克 相关软件: 裂土器;PHAT;酒神… 主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…
信号 51篇文献引用(1987–2020) 软件作者: 诺瓦克,大卫;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克 相关软件: 卢斯特;酯类;托勒密… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
AMReX公司 34份文件引用(2019–2024) 软件作者: 安·阿尔姆格伦 相关软件: p4测试;格里斯;乔博… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
摩塞尔 37篇文献引用(2003–2021) 软件作者: Fair Isaac公司;Colombani Y.、Heipcke S。 相关软件: 快速表达;AMPL;游戏… 主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
沃夫兰 35篇文献引用(1999–2022) 软件作者: 埃里克·韦贝克(Eric Verbeek);Wil M.P.范德阿尔斯特。 相关软件: PNML;咩咩叫;WSAT… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…
MPICH-G2型 17篇文献引用(2003–2010) 软件作者: 尼古拉斯·T·卡罗尼斯。;布莱恩·托宁(Brian Toonen);伊恩·福斯特 相关软件: Globus工具包;磁粉检测;MPI/MPICH… 主要字段: 计算机科学(68-XX);流体力学(76-XX);量子理论(81-XX)…
迪纳摩 19份文件引用(2011–2023) 软件作者: 迪坎迪亚,G。;哈斯托伦,D。;詹帕尼,M。;Kakulapati,G。;拉克希曼,A。;皮尔钦,A。;Sivasubramanian,S。;Vosshall,P。;沃格尔,W。 相关软件: 卡桑德拉;和弦;Bigtable… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
MIO工作台 30篇文献引用(2010–2023) 软件作者: 塞巴斯蒂安·鲍尔。;菲利普·迈耶(Philip Mayer);Legay、Axel 相关软件: 摩托罗拉;ECDAR;mCRL2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SAP2000公司 26篇文献引用(2003–2023) 软件作者: 计算机与结构公司。 相关软件: Matlab;OpenSees;Python… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);变形固体力学(74-XX)…
CPN/工具 25篇文献引用(2001–2023) 软件作者: 米歇尔·博杜安·拉丰(Michel Beaudouin-Lafon);温迪·麦凯(Wendy E.Mackay)。;Mads Jensen;安徒生,彼得;保罗·詹切克 相关软件: 设计/CPN;TINA;清爽… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
QOCA公司 引用于27份文件(1970–2018) 软件作者: Kim万豪酒店;Chok,Sitt Sen先生 相关软件: 天蓝色;食火鸡;HiRise… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
阿利亚 29篇文献引用(2013–2022) 软件作者: H·欧文。;Houzeaux,G。;Samaniego,C。;莱斯基,A.C。;Vázquez,M。 相关软件: METIS公司;预CICE;测试… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
洛拉 26篇文献引用(2000–2021) 软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。 相关软件: 玛丽亚;Uppaal;BPEL2PN… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
NESTOR公司 引用于27份文件(1985–2017) 软件作者: G.F.库珀。 相关软件: TETRAD公司;几何导师;DENDRAL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
作记号 24篇文献引用(2002年至2022年) 软件作者: 怀特GC,伯纳姆KP 相关软件: 程序标记;R;R标记… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
URDME公司 25篇文献引用(2009–2023) 软件作者: Drawert,B.,Engblom,S.,Hellander,A。 相关软件: MesoRD;步骤;斯莫尔丁… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
快速采矿机 19份文件引用(2012–2023) 软件作者: RapidMiner公司;Akthar,F.,Hahne,C。 相关软件: R;Auto-WEKA;TPOT… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
OilEd公司 24篇文献引用(2001–2008) 软件作者: 肖恩·贝赫霍夫(Sean Bechhofer);伊恩·霍洛克斯(Ian Horrocks);卡罗尔·高布尔(Carole Goble);罗伯特·史蒂文斯 相关软件: OntoEdit;赛车手;保护… 主要字段: 数学逻辑与基础(03-XX);算子理论(47-XX);统计学(62-XX)…
DEPAC公司 24篇文献引用(1983年-2000年) 软件作者: Shampine,L.F.公司。;瓦茨,H.A。 相关软件: 德维尔克;传真;RKF45… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…
流量-3D 24篇文献引用(1993–2021) 软件作者: Flow Science公司 相关软件: GENSMAC;SOLA-VOF;自由流动… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
ROPTLIB公司 20篇文献引用(2017–2024) 软件作者: 黄文;Absil,P.-A.公司。;凯尔·A·加里凡。;保罗·汉德 相关软件: 马诺普特;皮曼诺普;歧管Optim… 主要字段: 变分法与最优控制;优化(49-XX);微分几何(53-XX);统计学(62-XX)…
ADMIT公司 22篇文献引用(1999–2020) 软件作者: 托马斯·科尔曼。;阿伦·维尔马 相关软件: ADIFR;ADMAT;Matlab… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
Pyclaw公司 21篇文献引用(2012–2023) 软件作者: 戴维·凯奇森(David I.Ketcheson)。;Kyle Mandli;阿隆·J·艾哈迈迪。;阿马尔·阿尔甘迪;德卢纳(De Luna)、曼努埃尔·奎扎达(Manuel Quezada);马泰奥·帕萨尼(Matteo Parsani);马修·克内普利(Matthew G.Knepley)。;马修·埃米特 相关软件: PyWENO;拉回;利爪… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
Elastix公司 15篇文献引用(2013–2022) 软件作者: Klein,S.、Staring,M.、Murphy,K.、Viergever,M.A.、Pluim,J.P.等人。 相关软件: 蟒蛇;ITK;FAIR.m… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
FANMOD公司 18篇文献引用(2010–2021) 软件作者: Wernicke,S。;拉什,F。 相关软件: 卡沃什;MAVisto公司;国防部… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
福克斯 20篇文献引用(1998–2023) 软件作者: 迪亚斯,安吉尔;埃里希·卡尔托芬 相关软件: 枫树;SACLIB;FireFly… 主要字段: 数论(11-XX);交换代数(13-XX);近似和展开(41-XX)…
杜芬伴随物 15篇文献引用(2020–2024) 软件作者: 米图什,S。;Funke,S。;J.多肯。 相关软件: FEniCS;GitHub;UFL… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
GIMP公司 13份文件引用(1999–2022) 软件作者: GIMP团队 相关软件: R;ImageMagick;Ghostscript… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…
OPDOE公司 18篇文献引用(1990–2023) 软件作者: Petr Simecek、Jürgen Pilz、Mingui Wang、Albrecht Gebhardt 相关软件: R;加迈尔;mgcv… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);算子理论(47-XX)…
TSPACK公司 18篇文献引用(1993–2020) 软件作者: R.J.伦卡。 相关软件: pchip;TSpack;TRIPACK… 主要字段: 组合数学(05-XX);近似和展开(41-XX);数值分析(65-XX)…
电子技师++ 15篇文献引用(1990–2006) 软件作者: 安德雷·韦南德 相关软件: 艾菲尔铁塔;Smalltalk;关闭… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)
SLDRIVER系列 16篇文献引用(1997–2020) 软件作者: J.D.普莱斯。 相关软件: SLTSTPAK;雪橇;MATSLISE… 主要字段: 特殊功能(33-XX);常微分方程(34-XX);数值分析(65-XX)…
太阳能 16篇文献引用(1997–2019) 软件作者: S.托莱多,F.G.古斯塔夫森 相关软件: POOCLAPACK系列;包装;ScaLAPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
院子 14篇文献引用(2008–2023) 软件作者: Kozicki,J。;F.V.Donzé。 相关软件: 子弹;Matlab;OpenFOAM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
CST微波工作室 14篇文献引用(2002年至2022年) 软件作者: CST计算机仿真技术股份公司 相关软件: CST工作室套房;WavES;Matlab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
HordeSat卫星 13份文件引用(2015–2023) 软件作者: 托马斯·巴利奥;彼得·桑德斯;卡斯滕·辛兹 相关软件: ManySAT公司;弯曲;MiniSat… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
国际博协 16篇文献引用(2005–2021) 软件作者: Y.利巴。 相关软件: BARON公司;数字;COCONUT… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
JCLEC公司 2份文件引用(2009–2015) 软件作者: 塞巴斯蒂安·文图拉、克里斯托巴尔·罗梅罗、阿米莉亚·扎夫拉、何塞·A·德尔加多、塞萨尔·埃尔瓦斯 相关软件: KEEL;UCI-ml;欧洲法院… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
奥林匹克2 8份文件引用(2002–2021) 软件作者: 威廉·格罗普 相关软件: OpenMPI;Mathematica;Matlab… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
奥普图纳 15篇文献引用(2021–2023) 软件作者: 秋叶拓哉、三野昭太郎、延濑敏彦、大田武夫、小山正男 相关软件: PyTorch;Hyperopt;Scikit… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);统计学(62-XX)…
R降价 在11份文件中引用(2015–2022) 软件作者: Ben Baumer、Mine Cetinkaya-Rendel、Andrew Bray、Linda Loi、Nicholas J.Horton 相关软件: R;knitr;ggplot2… 主要字段: 统计学(62-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)
可视化DSD 15篇文献引用(2013–2023) 软件作者: Lakin,M.R.、Youssef,S.、Polo,F.、Emmott,S.和Phillips,A。 相关软件: 棱镜;z3;Z34Bio… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…
PID_调整 14篇文献引用(2005–2021) 软件作者: 拉斯·埃里克森 相关软件: YALMIP;SeDuMi公司;Matlab… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);系统论;控制(93-XX)…
PySCIPOpt公司 14篇文献引用(2016–2023) 软件作者: 斯蒂芬·J·马赫、马提亚斯·米尔滕伯格、乔·佩德罗·佩德罗、丹尼尔·雷费尔特、罗伯特·施瓦兹、菲利佩·塞拉诺 相关软件: SCIP;古罗比;XPRESS… 主要字段: 总体主题;藏品(00-XX);凸和离散几何(52-XX);数值分析(65-XX)…
ECDAR公司 9份文件引用(2011–2022) 软件作者: 亚历山大·戴维;金·拉森。G。;Legay,Axel;乌尔里克·奈曼;安德烈·索夫斯基 相关软件: Uppaal;MIO工作台;UPPAAL TIGA… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
P2网格 12份文件引用(2000–2016) 软件作者: Enrico Bertolazzi;詹马科·曼齐尼 相关软件: 三角形;Blitz++库;TUNAM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
定量反馈理论工具箱 12份文件引用(1995–2017) 软件作者: Borghesani,C。;Chait,Y。;O.亚尼夫。 相关软件: Matlab;QFTCT;鲁棒控制工具箱… 主要字段: 系统论;控制(93-XX)
修补 10篇文献引用(2002–2024) 软件作者: 华盛顿大学医学院;Ponder,J.等人 相关软件: 琥珀色;NDL;VTDIRECT95… 主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…
通用燃料电池 12份文件引用(2013–2023) 软件作者: 马丁·桑德夫·阿尔诺;安德斯·洛格;肯特·安德烈·马尔达尔 相关软件: FEniCS;UFL;道芬… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
ABsolver公司 10篇文献引用(2006年至2018年) 软件作者: Andreas Bauer、Markus Pister和Michael Tautschnig 相关软件: HySAT;数学SAT;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
冰流 在11份文件中引用(2014–2023) 软件作者: 丹尼尔·马提库克(Daniel Matichuk);马卡里乌斯·温泽尔;托比·默里 相关软件: Isabelle/HOL;伊莎贝尔;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
FisPro公司 6篇文献引用(2008–2022) 软件作者: 纪尧姆,S。;Charnomodic,B。 相关软件: R;C4.5;AS 136… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
打开DX 在11份文件中引用(2002年至2016年) 软件作者: 大卫·汤普森、杰夫·布劳恩、雷·福特 相关软件: FEniCS;PETSc;VTK… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…
欧西里克斯 5份文件引用(2015–2018) 软件作者: Antoine Rosset、Luca Spadola、Osman Ratib 相关软件: VTK;PixelMed;ITK… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
PSAT公司 7份文件引用(2011–2018) 软件作者: 费德里科·米兰 相关软件: 圆顶;网格;Pandapower… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
RATSY公司 10篇文献引用(2012–2022) 软件作者: 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件: NuSMV;JTLV;数学SAT… 主要字段: 数学逻辑与基础(03-XX);测量和集成(28-XX);计算机科学(68-XX)…
sktime时间 3份文件引用(2020–2023) 软件作者: Markus Löning、Anthony Bagnall、Sajaysurya Ganesh、Viktor Kazakov、Jason Lines、Franz J.Király 相关软件: 蟒蛇;tslearn;Scikit… 主要字段: 统计学(62-XX);计算机科学(68-XX)
聚会 10篇文献引用(2000–2020) 软件作者: R.Preis、R.Diekmann 相关软件: 查科;苏格兰威士忌;乔斯特尔… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
Verilog公司 9份文件引用(1999–2020) 软件作者: 斯图亚特·萨瑟兰 相关软件: VPI;电源保护;卡米… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
贝叶斯选项 8份文件引用(2014–2023) 软件作者: 鲁本·马丁内斯·康廷 相关软件: NLopt;机器人学;YALMIP… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
日本标准普尔 4份文件引用(2018–2022) 软件作者: 乔纳森之爱;拉维·塞尔克;马尔滕·马尔斯曼;塔希拉·贾米尔;Damian Dropmann;Josine Verhagen;亚历山大·李;昆廷·格罗诺;马丁·什米拉;Sacha Epskamp;多拉·马茨克(Dora Matzke);野生安妮莉丝;帕特里克·奈特;杰弗里·鲁德;理查德·莫雷;Eric-Jan Wagenmakers公司 相关软件: R;贝叶斯因子;SPSS… 主要字段: 特殊功能(33-XX);统计学(62-XX);数值分析(65-XX)
PaGMO公司 6篇文献引用(2014–2023) 软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam) 相关软件: PaGMO/PyGMO;SciPy;Python… 主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
自动校对 7份文件引用(2015–2023) 软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;Polikarpova,N。 相关软件: 达夫尼;VCC;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
堆芯2 8份文件引用(2010–2022) 软件作者: 俞继洪;耶,琪;杜子林;Pion,Sylvain;埃尔维·布伦尼曼 相关软件: CGAL;LEDA;MPFR… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)
埃尔克洪德 7份文件引用(2004–2014) 软件作者: 斯科特·麦克皮克(Scott McPeak);Necula,George C。 相关软件: BRNGLR;ATERM;eSkel… 主要字段: 计算机科学(68-XX)
Jnurbs公司 7份文件引用(2007–2017) 软件作者: 张雪峰,Ganesh Subbarayan 相关软件: ISOGAT;NLPQL公司 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);经典热力学,传热(80-XX)
游侠 6篇文献引用(2002年-2023年) 软件作者: Cortes V.Pillet、J.Labarta、S.Girona 相关软件: VAMPIR(VAMPIR);HPCTOOLKIT;OpenFOAM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)
Polymake.jl公司 8份文件引用(2021–2024) 软件作者: Marek Kaluba、Benjamin Lorenz、Sascha Timme 相关软件: 多品牌;奥斯卡;同伦连续… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);流形和细胞复合体(57-XX)…
Qbox公司 5份文件引用(2010年至2019年) 软件作者: F.吉吉 相关软件: 量子浓缩咖啡;蟒蛇;西北化工… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)…
规则投标人 6篇文献引用(2015–2021) 软件作者: Xu,W.、Smith,A.M.、Faeder,J.R.、Marai,G.E。 相关软件: BioNetGen;千塔姆;NFsim… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
BAPS 2型 6篇文献引用(2007–2015) 软件作者: 朱卡·科兰德(Jukka Corander)、帕特里克·沃尔德曼(Patrik Waldmann)、佩卡·马丁宁(Pekka Marttinen)、米科·西兰帕德(Mikko J.Sillanpä) 相关软件: 结构;iCDI-PseFpt;iEzy-drug… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
全球地图 4份文件引用(2008–2019) 软件作者: Rune Linding、Robert B.Russell、Victor Neduva和Toby J.Gibson 相关软件: IUPred;罗恩;折叠索引… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);生物学和其他自然科学(92-XX)…
热帧 7份文件引用(2003–2014) 软件作者: 安德烈亚斯·芬克;斯特凡·沃伊 相关软件: EasyLocal++;CBMix公司;METSlib… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
蒙巴萨 7份文件引用(2002年-2023年) 软件作者: 安德烈亚斯·费斯塔格;韦斯特霍夫,拉尔斯;亚当·沃利斯 相关软件: MacMPEC公司 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
NURBS-Python公司 3份文件引用(2022–2023) 软件作者: O.R.Bingol、A.Krishnamurthy 相关软件: 蟒蛇;PyTorch;Matplotlib… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)