R(右) 9676份文件引用(1978–2024) 软件作者: 哈德利·威克姆;先生,罗伯特;罗斯·伊哈卡(Ross Ihaka);约翰·钱伯斯(John M.Chambers)。;William N.Venables。;布莱恩·里普利。 相关软件: CRAN;SAS;ggplot2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
科恩平滑 1082文件引用(1993年至2024年) 软件作者: Wand,医学博士。;M.C.琼斯。;布莱恩·里普利 相关软件: R;pyuvdata;fda(R)… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
MATCONT公司 526份文件引用(2003–2024) 软件作者: Dhooge,A。;乌龟,B。;Govaerts,W。;于库兹涅佐夫。答:。 相关软件: 汽车;Matlab;CL_MATCONT… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
引导库 518份文件引用(1997–2024) 软件作者: 安吉洛·坎蒂;Davison,A.C.Au;D.V.欣克利。 相关软件: 引导;R;ismev… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
红色工具箱 381份文件引用(2014–2024) 软件作者: 阿尔菲奥·夸特罗尼;安德烈亚·曼佐尼;费德里科·内格里 相关软件: GitHub;亚当;FEniCS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
美国缉毒局 254篇文献引用(1988–2023) 软件作者: 生产力分析研究网络 相关软件: DEAFrontier公司;恐惧;标杆管理… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
科学实验室 173篇文献引用(1999–2023) 软件作者: Scilab企业;里卡多·法布里 相关软件: Matlab;倍频程;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
JStatCom公司 103篇文献引用(2007–2024) 软件作者: 马库斯·克拉齐格 相关软件: KEEL;UCI-ml;C4.5… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
高斯 108篇文献引用(1988–2023) 软件作者: Aptech Systems公司。 相关软件: R;Matlab;SAS… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
钠20 79份文件引用(2000–2022) 软件作者: 达里奥·安德里亚·比尼;佛罗伦萨,朱塞佩 相关软件: na10;隔离;特征解… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);复变量函数(30-XX)…
雏菊 71篇文献引用(2008–2024) 软件作者: 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件: 西安;COMBOS公司;GenSSI… 主要字段: 交换代数(13-XX);常微分方程(34-XX);统计学(62-XX)…
WebGraph(网络图表) 60篇文献引用(2006–2023) 软件作者: Boldi,P。;南维吉尼亚。 相关软件: UbiCrawler;SNAP;稀疏矩阵… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
CHomP公司 59篇文献引用(2006–2023) 软件作者: http://chomp.rutgers.edu/People.html 相关软件: 间隙;RedHom;大写… 主要字段: 动力系统与遍历理论(37-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
G+平滑 55份文件引用(2014–2023) 软件作者: Angelos Mantzaflaris,Bert Jüttler 相关软件: ISOGAT;IETI;GitHub… 主要字段: 势能理论(31-XX);偏微分方程(35-XX);近似和展开(41-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;哈维尔·塞耶 相关软件: 伊莎贝尔;Nuprl;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
ACRITH-XSC公司 48篇文献引用(1985–2019) 软件作者: 沃尔夫冈·沃尔特。 相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
信贷风险+ 46篇文献引用(2004–2022) 软件作者: 汤姆·王尔德;CSFB公司 相关软件: 量化风险管理;R;Python… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
金西姆 42篇文献引用(2008–2023) 软件作者: Gonzales,A.G。;Naldi,A。;桑切斯,L。;Thieffry博士。;朝义亚,C 相关软件: BoolNet;PyBoolNet;永旺… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Wolfram功能站点 42篇文献引用(2007–2023) 软件作者: Wolfram研究公司。 相关软件: DLMF;Mathematica;仲裁… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
SIMEM3雷诺 41篇文献引用(1998–2022) 软件作者: 弗兰克·乔丹(Franck Jourdan);Pierre Alart;米歇尔·吉恩 相关软件: 梅沙奇;LMGC90;Solfec… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
阿菲 24篇文献引用(2004–2021) 软件作者: 拉斐尔·艾里扎里;Laurent Gautier,Leslie Cope;本·博尔斯塔德 相关软件: 生物导体;R;gcrma… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…
PNM公司 35篇文献引用(1992–2021) 软件作者: 奥利弗·阿伯思 相关软件: 进入PT_90;C-XSC 2.0;C-XSC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
多线性引擎 引用于33份文件(2002–2022) 软件作者: 彭蒂·帕特罗 相关软件: 张量工具箱;Matlab;PARAFAC… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
MegaWave公司 30篇文献引用(1999–2023) 软件作者: 雅克·弗洛门特;莱昂内尔·莫伊桑;珍妮·米歇尔·莫雷尔 相关软件: BSDS;SIFT;ImageNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
300万 31份文件引用(2020–2024) 软件作者: 柯丽、汤克军、吴天凡、廖奇峰 相关软件: hp-VPINN;亚当;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
国际RSpot-TNCPseAAC 31份文件引用(2014–2019) 软件作者: 王仁秋、轩晓、郭晨秋 相关软件: iRSpot PseDNC;iNuc-PseKNC;iSNO-PseAAC… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
PseKNC公司 31份文件引用(2015–2019) 软件作者: Chen,W。;Lei,T.-Y。;金博士。;Lin,H。;周,K.-C。 相关软件: iRSpot PseDNC;Pse-in-One;pLoc-mAnimal… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
iRSpot-EL接口 30篇文献引用(2017–2022) 软件作者: 刘,B。;王,S。;朗·R。;周,K.-C。 相关软件: iRNA-PseColl;2L-piRNA;pLoc-mEuk… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
LOGOS标志 29篇文献引用(2014–2023) 软件作者: 于德柳金。编号。;朱奇科夫,R.N。;Zelenskiy,D.K。;科泽尔科夫(A.S.Kozelkov)。;萨拉佐夫,A.S。;库迪莫夫,N.F。;Yu Lipnickiy。医学硕士。;帕纳森科,A.V。;A.V.萨夫罗诺夫。 相关软件: 澳大利亚统计局;磁粉检测;LSODE… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
环境统计 25篇文献引用(2006–2022) 软件作者: Le,Nhu D。;詹姆斯·齐德克(James V.Zidek)。 相关软件: R;贝叶斯DA;spBayes… 主要字段: 统计学(62-XX);地球物理学(86-XX);运筹学,数学规划(90-XX)…
MOLGEN公司 26篇文献引用(1992–2019) 软件作者: 格兰德,R。;Kerber,A。;劳厄,R。 相关软件: 鹦鹉螺;间隙;龙… 主要字段: 组合数学(05-XX);群论与推广(20-XX);凸和离散几何(52-XX)…
Be-CoDiS公司 23篇文献引用(2015–2023) 软件作者: 本杰明·艾弗拉;恩戈姆,迪耶内;安吉尔·拉莫斯。 相关软件: Matlab;GitHub;iOverbook… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…
Indclus公司 22篇文献引用(1982–2019) 软件作者: 卡罗尔,J.D.,阿拉比,P。 相关软件: MAPCLUS;FINDCLUS;PARAFAC… 主要字段: 历史与传记(01-XX);统计学(62-XX);数值分析(65-XX)…
iRNAm5C-PseDNC 23篇文献引用(2017–2019) 软件作者: W.R.邱。;Jiang,S.Y。;徐,Z.C。 相关软件: iRNA-PseColl;pLoc-mEuk;iRSpot-EL… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
科奎利科 22篇文献引用(2015–2024) 软件作者: 西尔维·博尔多;凯瑟琳·勒雷(Catherine Lelay);纪尧姆·梅尔金德 相关软件: Coq;Isabelle/HOL;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);常微分方程(34-XX)…
TMSmesh公司 22篇文献引用(2013–2022) 软件作者: 陈明、陆斌。 相关软件: APBS;MIBPB;tabipb… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
通量 在11份文件中引用(2020–2024) 软件作者: Innes M酒店 相关软件: 朱莉娅;微分方程.jl;亚当… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
i增强器-2L 21篇文献引用(2016–2019) 软件作者: 刘斌;龙云芳;任龙;荀兰;郭振秋 相关软件: pLoc-m动物;pSuc-Lys;Pse-in-One… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
免疫球蛋白 21篇文献引用(2015–2022) 软件作者: Pauletti,M.塞巴斯蒂安;马西米利亚诺·马蒂内利;尼古拉·卡瓦里尼;巴勃罗·安托林 相关软件: 佩蒂加;GeoPDE;ISOGAT… 主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…
GenSSI公司 20篇文献引用(2013–2023) 软件作者: Chis O、Banga J、Balsa-Canto E 相关软件: 雏菊;西安;COMBOS… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
iRNA-PseU基因 20篇文献引用(2016–2019) 软件作者: Chen,W。;Tang,H。;Ye,J。;Lin,H。;周,K.-C。 相关软件: iRNA-PseColl;iRNAm5C-PseDNC;pLoc-mEuk… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
法斯特亨利 17篇文献引用(1999–2022) 软件作者: Kamon M、Tsuk MJ、White J。 相关软件: Fastcap;FastImp;三角形… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…
几何体表达式 12份文件引用(2007–2023) 软件作者: Saltire软件 相关软件: 几何画板;GeoGebra;灰姑娘… 主要字段: 组合数学(05-XX);几何(51-XX);数值分析(65-XX)…
GW-墨水 19份文件引用(2012–2023) 软件作者: Wayne A.Woodward。;格雷,亨利·L·。;艾伦·C·埃利奥特。 相关软件: 斯坦;坚果;tswge… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
普南-PC 19份文件引用(2016–2021) 软件作者: 刘,Z。;Xiao,X。;Yu,D.-J。;贾,J。;邱伟荣。;周,K.-C。 相关软件: pSuc-Lys;iPTM-mLys;iSuc-PseOpt… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
sbtoolbox(sb工具箱) 12份文件引用(2009–2019) 软件作者: 亨宁·施密特;Mats Jirstrand公司 相关软件: Matlab;COPASI;SBML-SAT… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);变分法与最优控制;优化(49-XX)…
阿里阿德涅 17篇文献引用(2008–2023) 软件作者: 卢卡·本维努蒂;大卫·布雷索林;Pieter Collins;法拉利,阿尔贝托;卢卡·杰雷蒂;蒂齐亚诺别墅 相关软件: 高科技;SpaceEx;PHAVer… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
E&F混沌 17篇文献引用(2008–2022) 软件作者: Cees Diks、Cars Hommes、Valentyn Panchenko、Marcelo Tyszler 相关软件: DMC;NIST统计测试套件;死亡… 主要字段: 组合数学(05-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…
GeneRank公司 17篇文献引用(2010–2023) 软件作者: 朱莉·莫里森(Julie L Morrison);雷纳百年灵;Desmond J Higham;大卫·R·吉尔伯特 相关软件: Matlab;分子网络;测试矩阵… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
MINMOD公司 16篇文献引用(2003–2023) 软件作者: Pacini G,伯格曼注册护士 相关软件: 吉布斯特;贝叶斯DA;SolvOpt… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…
MMT公司 13份文件引用(2007–2019) 软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加 相关软件: 莫德;K校准仪;JavaFAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
维拉斯科 15篇文献引用(2016–2023) 软件作者: 雅克·亨利·朱丹(Jacques-Henri Jourdan)、文森特·拉波特(Vincent Laporte)、桑德琳·布拉齐(Sandrine Blazy)、泽维尔·勒罗伊(Xavier Leroy)、大卫·皮查迪(David Pichardie) 相关软件: Coq;工具链;z3… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);凸和离散几何(52-XX)…
动画 8份文件引用(2014–2023) 软件作者: 余丽嘉;朱伟成;谢一辉 相关软件: R;ggplot2;knitr… 主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…
估计 15篇文献引用(1993–2010) 软件作者: 拉文德拉贾特加翁卡;弗兰克·塞勒克 相关软件: R;MIM;TETRAD… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
iTIS心理网络控制 15篇文献引用(2015–2019) 软件作者: Chen,W。;冯,P.-M。;邓永中。;Lin,H。;周,K.-C。 相关软件: iRSpot PseDNC;iPro54-PseKNC;iAMP-2L… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
卢比/夸脱 在11份文件中引用(2006–2022) 软件作者: Karl W Broman、Hao Wu、Gary Churchill、aunak Sen 相关软件: R;onemap;藤架… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
BoogiePL公司 在11份文件中引用(2005–2020) 软件作者: DeLine,R.,Leino,K.R.M。 相关软件: z3;规范#;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
iRNA-甲基 14篇文献引用(2016–2019) 软件作者: Chen,W。;冯·P。;丁·H。;Lin,H。;周,K.-C。 相关软件: iPTM-mLys;iSuc-PseOpt;Pse-in-One… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MATLAB-Python修补代码 13份文件引用(2015–2024) 软件作者: 卡罗拉·比比安·施恩利布(Carola-Bibiane Schönlieb);西蒙·帕里索托 相关软件: SIPI图像数据库;补丁匹配;GSLIB… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
PySB公司 12份文件引用(2014–2022) 软件作者: Lopez,C.F.、Muhlich,J.L.、Bachman,J.A.、Sorger,P.K。 相关软件: BioNetGen;斯莫尔丁;步骤… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
伽利略 10篇文献引用(2000–2017) 软件作者: Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件: NuSMV;DFTCalc公司;DIFtree… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
数学检查 13份文件引用(2015–2021) 软件作者: 明亮,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基 相关软件: 山猫;枫树;FFTW… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
铆钉 在11份文件中引用(2020–2024) 软件作者: 迈克尔·莱斯尼克、马修·赖特 相关软件: 裂土器;GitHub;辛巴… 主要字段: 交换代数(13-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
算法786 12份文件引用(1998–2017) 软件作者: 大卫·M·史密斯。 相关软件: MPFR;算法693;gmp… 主要字段: 特殊功能(33-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
线性时频分析工具箱 12份文件引用(2011–2020) 软件作者: Söndergaard,Peter L。;布鲁诺托雷萨尼;彼得·巴拉兹 相关软件: 长期固定资产税;Matlab;取消锁定BoX… 主要字段: 欧氏空间(42-XX)的调和分析;算子理论(47-XX);数值分析(65-XX)…
普罗米修斯 12份文件引用(2008–2023) 软件作者: 巴伯,J。;Bose,C。;布里奥克斯,A。;Braun,J。;布鲁内尔,E。;加西亚,T。;Hillen,T。;B·翁。 相关软件: FlamMap;FARSITE;WRF-SFIRE… 主要字段: 偏微分方程(35-XX);微分几何(53-XX);统计学(62-XX)…
粗糙集 12份文件引用(2016–2024) 软件作者: Andrzej Janusz、Lala Septem Riza、DominikŚlęzak、Chris Cornelis、Francisco Herrera、Jose Manuel Benitez、Christoph Bergmeir、Sebastian Stawicki 相关软件: UCI-ml;威卡;罗塞塔… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
MPSGE公司 在11份文件中引用(1996–2018) 软件作者: 卢瑟福,T.F。 相关软件: GAMS;路径求解器;GEMPACK… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
纯度过滤 在11份文件中引用(1997–2022) 软件作者: 阿尔班Quadrat 相关软件: 矿石模块;homalg;单数… 主要字段: 交换代数(13-XX);结合环与代数(16-XX);几个复变量和分析空间(32-XX)…
UIMP接口 在11份文件中引用(1982–2011) 软件作者: E.F.D.Ellison,乔塔姆·米特拉 相关软件: AMPL;GAMS;INGRES… 主要字段: 总体主题;藏品(00-XX);功能分析(46-XX);计算机科学(68-XX)…
VPM公司 4份文件引用(2005–2007) 软件作者: 达尼尔·瓦罗(Dániel Varró),安德拉斯·帕塔里察(András Pataricza) 相关软件: VIATRA2;进度;AGG… 主要字段: 计算机科学(68-XX)
亚当 10篇文献引用(2011–2023) 软件作者: Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件: 麦考利2号;金西姆;BoolNet… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX)…
GPTIPS系统 7份文件引用(2014–2022) 软件作者: Searson DP、Leahy DE、Willis MJ 相关软件: 奥维托;Scikit;Matlab… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);变形固体力学(74-XX)…
iDHS-EL公司 10篇文献引用(2016–2019) 软件作者: 刘,B。;朗·R。;周,K.-C。 相关软件: Pse-in-One;pSuc-Lys;Prnam-PC… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
iMiRNA-PseDPC 10篇文献引用(2015–2019) 软件作者: 刘,B。;方,L。;刘,F。;王,X。;周,K.-C。 相关软件: Pse-in-One;PseKNC;iPPI-Esml… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
数学生活 10篇文献引用(1997–2004) 软件作者: 格德·鲍曼 相关软件: Mathematica;SYMMGRP;谎言… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…
悉尼 10篇文献引用(1996–2022) 软件作者: 沃罗布埃夫,E.M。 相关软件: diffgrob2;SYMMGRP;数学… 主要字段: 总体主题;藏品(00-XX);拓扑群,李群(22-XX);偏微分方程(35-XX)…
Veamy公司 6篇文献引用(2019–2023) 软件作者: 亚历杭德罗·奥尔蒂斯·伯纳丁(Alejandro Ortiz-Barnardin)、卡特琳娜·阿尔瓦雷斯(Catalina Alvarez)、南希·希施费尔德·卡勒(Nancy Hitschfeld-Kahler)、亚历山德罗·鲁索(Alessandro Russo)、罗德里戈·席尔瓦·瓦伦苏埃拉( 相关软件: 三角形;Matlab;PolyMesher… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
库达尔菲什 8份文件引用(2021–2023) 软件作者: 大卫·卡门斯基 相关软件: ShNAPr;tIGAr;PETSc… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
校对工具 8份文件引用(2013–2023) 软件作者: C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件: TPTP;GAPT;CERES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
统一计算 9份文件引用(1992–2017) 软件作者: 巴比切夫,A.B。;卡德罗娃,O.B。;Kashevarova,T.P。;塞梅诺夫,A.L。 相关软件: InC++;JGloptLab;进入PT_90… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
Abaqus2实验室 7份文件引用(2018–2021) 软件作者: 乔治·帕帕扎菲罗普洛斯、米格尔·穆尼兹·卡文特、埃米利奥·马丁内斯·帕涅达 相关软件: 阿巴夸斯;Matlab;阶段字段UEL… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
AEtnaNova公司 8份文件引用(2011–2018) 软件作者: Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件: 裁判;SETL;Mizar… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);复变量函数(30-XX)…
决定IT 7份文件引用(2009–2018) 软件作者: 首选AB 相关软件: M-MACBETH;RICH决策;合作伙伴… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
电磁脉冲 8份文件引用(1988–1998) 软件作者: 克劳斯·希特科夫斯基 相关软件: SLP-IOR;GAMS;ELL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
羽毛特性 6篇文献引用(2008–2023) 软件作者: 路易吉·利库里;阿诺德·斯皮瓦克 相关软件: 羽量级Java;JML;埃菲尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GAMS模型 8份文件引用(2007–2020) 软件作者: GAMS游戏 相关软件: GAMS;林多;Matlab… 主要字段: 历史与传记(01-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
INFTY公司 7份文件引用(2006–2017) 软件作者: 铃木,M.,田里,F.,福田,R.,内田,S.,Kanahori,T。 相关软件: 乳胶;PRMLT;Naproche… 主要字段: 计算机科学(68-XX)
质量控制中心 8份文件引用(2006–2016) 软件作者: Megretski AV;Kao CY;琼森UT;兰泽A 相关软件: Matlab;LMI工具箱;鲁棒控制工具箱… 主要字段: 系统论;控制(93-XX)
MAIC公司 7份文件引用(2016–2021) 软件作者: Keiji Kimura,Hayato Waki先生 相关软件: UCI-ml;R;CPLEX… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者: 斯特凡诺·塞巴斯蒂奥;安德烈·范丁 相关软件: 莫德;PVeStA;皮尔洛… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
MUSCOP公司 8份文件引用(2001–2023) 软件作者: 安德烈亚斯·波茨赫卡 相关软件: 纽顿图书馆;ADOL-C;区块SQP… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);整体分析,流形分析(58-XX)…
parest_dae 8份文件引用(2014–2022) 软件作者: 卡西安·潘提亚(Casian Pantea)、安库尔·古普塔(Ankur Gupta)、詹姆斯·罗林斯(James B.Rawlings)、戈奥盖·克拉西恩(Gheorghe Craciun) 相关软件: 雏菊;西安;单数… 主要字段: 交换代数(13-XX);常微分方程(34-XX);代数拓扑(55-XX)…
SPeeDI公司 7份文件引用(2002年至2017年) 软件作者: 细辛,尤金;佩斯,戈登;杰拉尔多·施奈德;塞尔吉奥·尤文 相关软件: GSPeeDI;高科技;ParaPlan… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);系统论;控制(93-XX)
BAT公司 6篇文献引用(2009–2018) 软件作者: 考德威尔,艾伦;丹尼尔·科拉尔(Daniel Kollar);凯文·克罗宁格 相关软件: HEPfit;图灵;古巴… 主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)
DISPRO公司 7份文件引用(1981–2017) 软件作者: V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。 相关软件: 规划师;迪斯内尔;Matlab… 主要字段: 历史与传记(01-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
希格拉 6篇文献引用(2020–2023) 软件作者: B.佩雷特;G.Chierchia;J.Cousty;S.J.F.吉马良斯;Y.Kenmochi;L.纳杰曼 相关软件: PyTorch;亚当;拓扑工具包… 主要字段: 代数拓扑(55-XX);流形和细胞复合体(57-XX);计算机科学(68-XX)…
裁判 7份文件引用(2013–2018) 软件作者: Eugenio G.Omodeo;多梅尼科·坎通纳;阿尔贝托·波利克里蒂;雅各布·T·施瓦茨 相关软件: AEtnaNova;SETL;Mizar… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
SBML-SAT卫星 7份文件引用(2009年至2021年) 软件作者: Zi Z1、Zheng Y、Rundell AE、Klipp E。 相关软件: SensSB;sbtoolbox;Matlab… 主要字段: 常微分方程(34-XX);统计学(62-XX);生物学和其他自然科学(92-XX)…