LiE公司 178篇文献引用(1993–2024) 软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件: Mathematica;岩浆;麦考利2… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;伊莎贝尔·霍尔;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
乐高 116篇文献引用(1991–2023) 软件作者: 罗,Z.,波拉克,R。 相关软件: Coq;Nuprl;自动… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
人力资源 27篇文献引用(2002–2022) 软件作者: 西蒙·科尔顿 相关软件: 涂鸦;水獭;梅斯4… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
IPSSIS公司 18篇文献引用(2011–2023) 软件作者: 西多纳斯(Xidonas)、帕纳吉奥蒂斯(Panagiotis);乔治·马夫罗塔斯;佐普尼迪斯,君士坦丁;约翰·帕萨拉斯 相关软件: 电气;GTM;NBI… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
极系统p 18篇文献引用(1999–2014) 软件作者: 史蒂文·怀斯(Steven M.Wise)。;Andrew J.Sommese。;Layne T.沃森。 相关软件: PHCpack;HOMPACK90;PHoM… 主要字段: 场论与多项式(12-XX);代数几何(14-XX);数值分析(65-XX)…
MB基础 17篇文献引用(1999–2006) 软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯 相关软件: TPS;欧米茄;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
数学检查 13份文件引用(2015–2021) 软件作者: 明亮,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基 相关软件: 山猫;枫树;FFTW… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
矿石形态 12份文件引用(2007–2020) 软件作者: 克鲁佐,T.,Quadrat,A 相关软件: 矿石模块;矿石代数分析;麦考利2… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);结合环与代数(16-XX)…
微分代数 11份文件引用(2010–2021) 软件作者: 弗朗索瓦·布利埃;弗朗索瓦·莱梅尔 相关软件: 枫树;DIFFALG公司;差异托马斯… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);偏微分方程(35-XX)…
GETFOL公司 11份文件引用(1991–2005) 软件作者: F.Giunchiglia公司 相关软件: LCF;Nuprl;剑桥LCF… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
纯度过滤 11份文件引用(1997–2022) 软件作者: 阿尔班Quadrat 相关软件: 矿石模块;homalg;单数… 主要字段: 交换代数(13-XX);结合环与代数(16-XX);几个复变量和分析空间(32-XX)…
STAR/MPI公司 11份文件引用(1995–2007) 软件作者: 吉恩·库珀曼 相关软件: 间隙;MeatExe;ATLAS集团代表… 主要字段: 群论和概括(20-XX);数值分析(65-XX);计算机科学(68-XX)
质量控制中心 8份文件引用(2006年至2016年) 软件作者: Megretski AV;Kao CY;琼森UT;兰泽A 相关软件: Matlab;LMI工具箱;鲁棒控制工具箱… 主要字段: 系统论;控制(93-XX)
推车 3份文件引用(2018年-2020年) 软件作者: 丹·斯坦伯格:米哈伊尔·戈洛夫尼亚;索尔福德系统公司 相关软件: gbm;C4.5;randomForest… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
征服 4份文件引用(2007–2013) 软件作者: Bowler,D。;乔杜里,R。;吉兰,M。;T宫崎骏 相关软件: 午睡;ONETEP;CASTEP… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);量子理论(81-XX)
机械化语义库 5份文件引用(2011–2015) 软件作者: Appel,A.W.,Dockins,R.,Hobor,A 相关软件: Coq;pthreads;布吉… 主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-XX)
主PVA 3份文件引用(2017–2018) 软件作者: 马特奥·卡萨蒂(Matteo Casati)、丹尼尔·瓦莱里(Daniele Valeri) 相关软件: WAlg;Mathematica;CDIFF… 主要字段: 非结合环与代数(17-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
A规格配对矩阵 3份文件引用(2014年至2021年) 软件作者: Ana C.Conceiáo,JoséC.Pereira 相关软件: A规格成对标尺;Mathematica;SInt公司 主要字段: 欧氏空间(42-XX)的调和分析;积分方程(45-XX);算子理论(47-XX)…
A规格成对标尺 3份文件引用(2014年至2021年) 软件作者: Ana C.Conceiáo,JoséC.Pereira 相关软件: A规格配对矩阵;Mathematica;SInt公司 主要字段: 欧氏空间(42-XX)的调和分析;积分方程(45-XX);算子理论(47-XX)…
香囊 3份文件引用(2009–2015) 软件作者: 安德烈亚·科尔哈斯(Andrea Kohlhase);迈克尔·科尔哈斯 相关软件: OMDoc;MMT;Excel… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
BIGFLOW公司 2份文件引用(2014–2019) 软件作者: R.Ababou,A.C.Bagtzoglou 相关软件: TOUGH(艰难);FEMWATER公司;理查兹泡沫2… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
生物记录器 2份文件引用(2015年至2016年) 软件作者: 维斯瓦纳坦,拉玛;梁思嘉;杨,杨;约翰·荣克。 相关软件: 爪哇本泽;擅长;VBA… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
生物模拟器.jl 在0个文档中引用 软件作者: 阿方索·兰德罗斯(Alfonso Landeros)、蒂莫西·斯图茨(Timothy Stutz)、凯文·凯斯(Kevin L.Keys)、亚历山大·阿列克西恩科(Alexander Alekseyenko)、珍妮特·辛希默(Janet S.Sinsheimer)、肯尼思·兰 相关软件: 微分方程.jl;朱莉娅;DiffEqFlux… 主要字段: ——
拉格朗日网格 1份文件引用(2023年) 软件作者: del Valle,J.C.公司。 相关软件: 径向的;MATSLISE公司;数学… 主要字段: 偏微分方程(35-XX);动力学系统和遍历理论(37-XX);流形和细胞复合体(57-XX)…
MINEQL公司 2份文件引用(2013–2017) 软件作者: 韦斯特尔、J.C.、扎卡里、J.L.、莫雷尔、F.M.M。 相关软件: PHREEQC;WATSPEC;fiteq… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
皮菲 1份文件引用(2023年) 软件作者: 威廉·G·P·梅纳;威廉·马歇尔;拉里萨·阿尔班塔基斯;格雷厄姆·芬德利;罗伯特·马尔赫曼(Robert Marchman);朱利奥·托诺尼 相关软件: 蟒蛇;数字Py 主要字段: 运筹学、数学规划(90-XX)
涡轮TDDFT 2份文件引用(2011–2015) 软件作者: 马尔科奥卢,奥斯曼·巴尔什;拉尔夫·盖鲍尔(Ralph Gebauer);达里奥·罗卡;斯特凡诺·巴罗尼 相关软件: 量子浓缩咖啡;FFTW;LAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…
DQ机器人 1份文件引用(2021) 软件作者: 布鲁诺·维莱纳·阿多诺(Bruno Vilhena Adorno)、穆里洛·马奎斯·马里尼奥(Murilo Marques Marinho) 相关软件: —— 主要字段: 数论(11-XX);系统论;控制(93-XX)
DSR开放实验室 1份文件引用(2000) 软件作者: 科洛德尼茨基,M。;科瓦尔丘克,A。;Kuryata,S。;列维茨基,V。 相关软件: Mathcad;Matlab;数学… 主要字段: 计算机科学(68-XX)
芬妮 在0个文档中引用 软件作者: 泰文·大卫·金(Taewon David Kim)、迈克尔·里奇(Michael Richer)、加布里埃拉·桑切斯·迪亚斯(Gabriela Sánchez-Diaz)、法纳斯·海达尔·扎德(Farnaz Heidar-Zadeh)、图恩·凡斯特雷伦(Toon Verstraelen)、拉蒙·阿兰·米兰达·金塔纳(Ra 相关软件: Psi4;PySCF;科学… 主要字段: ——
高频燃气轮机 在0个文档中引用 软件作者: Prabhat Hegde、Wester C.H.Schoonenberg、Dakota Thompson、Amro M.Farid 相关软件: xml2struct;SysML;Matlab公司 主要字段: ——
MP理论 1份文件引用(2019) 软件作者: 卢卡·马切蒂(Luca Marchetti)、文森佐·曼卡(Vincenzo Manca) 相关软件: MP-基因合成 主要字段: 计算机科学(68-XX)
PolyChaos公司 在0个文档中引用 软件作者: Tillmann Mühlpfordt、Frederik Zahn、Veit Hagenmeyer、Timm Faulwasser 相关软件: UQTk;微分方程.jl;UQLab… 主要字段: ——
皮科普曼 在0个文档中引用 软件作者: 潘绍武(Shaowu Pan)、尤里卡·凯泽(Eurika Kaiser)、布莱恩·德席尔瓦(Brian M.de Silva)、杰·内森·库茨(J.Nathan Kutz)、史蒂文·布鲁顿(Steven L.Brunton) 相关软件: mpEDMD;皮科普;库普曼实验室… 主要字段: ——
TOUGH2-EGS-MP型 在0个文档中引用 软件作者: 熊、易、法科查伦菲尔、佩拉蓬、王、石浩、温特菲尔德、菲利普·H、张、科尼和吴宇舒 相关软件: TOUGH(艰难);Matlab;OpenGeoSys… 主要字段: ——
DIU(数字用户接口) 在0个文档中引用 软件作者: 巴加夫·卡拉姆切德(Bhargav Karamched)、乔治·赫里普萨克(George Hripcsak)、戴夫·阿尔伯斯(Dave Albers)、威廉·奥特(William Ott) 相关软件: —— 主要字段: ——