×

找到43个软件包(结果1-43)

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)…

贝叶斯++

1份文件引用(2010)
软件作者: 迈克尔·史蒂文斯
相关软件: STSA;PALM;算法900…
主要字段: 数值分析(65-XX)

发现

1份文件引用(1993)
软件作者: 维提亚耶夫,E.E。;莫斯科,A.A。
相关软件: ——
主要字段: 计算机科学(68-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公司
主要字段: ——

克托伊莎贝尔

1份文件引用(2021)
软件作者: 李,李毅;艾尔莎·冈特。
相关软件: 莫德;伊莎贝尔·霍尔;LambdaMu-calculus…
主要字段: 计算机科学(68-XX)

MP理论

1份文件引用(2019)
软件作者: 卢卡·马切蒂(Luca Marchetti)、文森佐·曼卡(Vincenzo Manca)
相关软件: MP-基因合成
主要字段: 计算机科学(68-XX)

数字

1份文件引用(1995)
软件作者: 徐曼武;陆剑锋;曾梵聪;戴金文
相关软件: 自动化
主要字段: 计算机科学(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)
相关软件: ——
主要字段: ——

罗布斯特劳

在0个文档中引用
软件作者: 玛丽亚·德尔·卡门·卡拉特拉瓦·莫雷诺,托马斯·奥辛格
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件