×

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

数学软件

6558篇文献引用(1986年至2024年)
软件作者: 沃尔夫勒姆研究公司
相关软件: 枫树;Matlab;SageMath…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

ABAQUS公司

1722年文献引用(1985–2024)
软件作者: Simulia(达索系统);ABAQUS公司
相关软件: ABAQUS/标准;UMAT;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

Stata公司

755份文件引用(1993年-2023年)
软件作者: StataCorp有限公司
相关软件: R;SAS;SPSS…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

开放式泡沫

662份文件引用(2007–2024)
软件作者: OpenCFD有限公司(ESI集团)
相关软件: FLUENT公司;Matlab;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

凯利

664份文件引用(1995–2024)
软件作者: C.T.凯利。
相关软件: minpack;L-BFGS;Matlab…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

切割机

648份文件引用(1994–2024)
软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;马桶,Philippe L
相关软件: 可爱;12月6日;L-BFGS…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

559份文件引用(2001–2023)
软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S
相关软件: MiniSat;伯克敏;SATO…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

麦克利埃塞

355篇文献引用(1981–2024)
软件作者: 斯特凡·海斯;阿米尔·莫拉迪;克里斯托夫·帕尔
相关软件: 自行车;岩浆;NTRU…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

顶部。

309份文件引用(2005–2023)
软件作者: 俄亥俄州西格蒙德
相关软件: 前88米;Matlab;ESOFRAME…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

帕迪索

300篇文献引用(1999–2024)
软件作者: Olaf Schenk、Klaus Gärtner、George Karypis、Robert Luce、Peter Carbonetto
相关软件: MUMPS;稀疏矩阵;LAPACK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

HYPLAS公司

236篇文献引用(1996年-2023年)
软件作者: De Souza Neto EA、PerićD、Owen DRJ
相关软件: ABAQUS;FEAPpv;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

机器人学

189份文件引用(2000–2024)
软件作者: 彼得·科克
相关软件: YALMIP;塞杜米;莫塞克…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

KEEL公司

113篇文献引用(2009–2024)
软件作者: 阿尔卡拉-费德兹,J。;桑切斯,L。;南卡罗来纳州加西亚。;德尔·耶稣,M.J。;文图拉,S。;加雷尔,J.M。;Otero,J。;罗梅罗,C。;百加得,J。;里瓦斯,V.M。;费尔南德斯,J.C。;F.埃雷拉。
相关软件: JStatCom;UCI-ml;C4.5…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ETPS公司

162篇文献引用(1986–2022)
软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

PYTHIA8公司

154份文件引用(2006–2023)
软件作者: T.Sjöstrand、S.Mrenna、P.Z.Skands
相关软件: MadGraph;赫维格++;FastJet…
主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

米兰达

155份文件引用(1985–2023)
软件作者: D.A.特纳。
相关软件: 哈斯克尔;毫升;清洁…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

Why3号机组

144篇文献引用(2004–2023)
软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇
相关软件: Coq;卡拉卡拉;z3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

抓握

143篇文献引用(1996–2024)
软件作者: Paola Festa;莫里西奥·雷森德(Mauricio G.C.Resende)。;帕诺斯·帕达洛斯(Panos M.Pardalos)。;李勇
相关软件: 禁忌搜索;PERL;TTTPLOTS…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

单兵携带防空系统

129篇文献引用(1991年-2023年)
软件作者: Benno Fuchssteiner;瓦尔德马尔·维温卡;克劳斯·哥特希尔;安德烈亚斯·坎佩尔;奥利弗·克鲁格(Oliver Kluge);卡斯滕·莫里斯;霍尔格,瑙多夫;Oevel,Gudrun;托尔斯滕·舒尔茨
相关软件: 枫树;数学;MuPAD-组合…
主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…

图形库

140篇文献引用(1993年-2023年)
软件作者: 唐纳德·科努特(Donald E.Knuth)。
相关软件: LOLIB;LEDA;Pajek数据集…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

FEASPUMP公司

139篇文献引用(1979–2024)
软件作者: 菲舍蒂(Matteo Fischetti);多梅尼科·萨尔瓦金
相关软件: MIPLIB公司;CPLEX;MIPLIB2003…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

LSODE公司

140篇文献引用(1983–2022)
软件作者: 阿兰·希德马什
相关软件: 投票;DASSL;ODEPACK…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

前88.m

134篇文献引用(2011–2024)
软件作者: 埃里克·安德烈森;克劳森,安德斯;Schevenels,Mattias;博扬·S·拉扎罗夫。;奥勒·西格蒙德
相关软件: 顶部.m;Matlab;亚当…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

坎迪斯

128篇文献引用(2005–2024)
软件作者: 罗尔夫·苏兰克·阿尔弗雷德·格雷
相关软件: 数学;SciPy;Python…
主要字段: 偏微分方程(35-XX);微分几何(53-XX);整体分析,流形分析(58-XX)…

SETHEO公司

118篇文献引用(1990–2022)
软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。
相关软件: TPTP;水獭;SPASS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

视觉UTA

118篇文献引用(2008–2023)
软件作者: S.Greco、V.Mousseau、R.Słowiáski
相关软件: UTA Plus;M-MACBETH;电气…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

M-MACBETH公司

119篇文献引用(1994–2024)
软件作者: 卡洛斯·巴纳·科斯塔;Jean-Marie De Corte;Jean-Claude Vansnick女士
相关软件: UTA Plus;视觉UTA;电气…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

插补

99篇文献引用(2002–2023)
软件作者: 俄勒冈州特罗扬斯卡娅。;康托,M。;Sherlock,G。;布朗,P。;哈斯蒂,T。;Tibshirani,R。;博茨坦,D。;奥特曼,R。
相关软件: R;softImpute;会展…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

应用程序

108篇文献引用(2002–2023)
软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。
相关软件: 高科技;停机坪;ASTREE…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

皮奥莫

102份文件引用(2012–2024)
软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。
相关软件: 古罗比;Ipopt;CPLEX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

参数

96篇文献引用(2009–2024)
软件作者: Hutter,F。;胡斯,H.H。;莱顿-布朗,K。;T·斯图茨勒。
相关软件: SMAC;irace;SATZILA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

seL4级

92份文件引用(2009–2023)
软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。
相关软件: Isabelle/HOL;Coq;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…

弹丸

71篇文献引用(2006–2023)
软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司
相关软件: FaCT++;赛车手;赫密特…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

Gecode公司

85篇文献引用(2007–2023)
软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院
相关软件: 微量锌;CPLEX;Choco…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

前缀跨度

引用于40篇文献(2004–2023)
软件作者: Pei J、Han J、Mortazavi Asl B、Pinto H、Chen Q、Dayal U、Hsu M C
相关软件: 铲刀;CloSpan;BIDE…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

双球面物理学

89份文件引用(2015–2024)
软件作者: 克雷斯波,A.J.C。;Domínguez,J.M。;Rogers,文学博士。;戈梅斯·盖斯特拉,M。;Longshaw,S。;坎内拉斯,R。;瓦康迪奥,R。;巴雷罗,A。;俄亥俄州加西亚·菲尔。
相关软件: CUDA;球面物理学;GADGET…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

仙人掌

70篇文献引用(2000–2023)
软件作者: 汤姆·古代尔;加布里埃尔·艾伦;Gerd Lanfermann;Joan Masso;托马斯·雷德克;爱德华·塞德尔(Edward Seidel);约翰·沙尔夫
相关软件: 地毯;爱因斯坦工具包;乔博…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

谎言

82篇文献引用(1993–2022)
软件作者: A.K.海德。
相关软件: DIMSYM公司;SYMMGRP;减少…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

莲花1-2-3

21篇文献引用(1989–2019)
软件作者: Lotus软件
相关软件: dBase;擅长;Quattro Pro…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

LMaFit公司

78篇文献引用(2012–2023)
软件作者: Zaiwen Wen、Wotao Yin、Yin Zhang、Yuan Shen
相关软件: RTRMC;PROPACK公司;ADMiRA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

HLLC公司

78篇文献引用(2010–2023)
软件作者: 托卡列娃股份有限公司。;E.F.托罗。
相关软件: HLLE;HE-E1GODF;澳大利亚…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

剪辑

64篇文献引用(1992–2020)
软件作者: 加里·莱利;吉亚兰托
相关软件: 杰斯;蛋白质;马格特…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

SYMMGRP公司。马克斯

73篇文献引用(1991年-2023年)
软件作者: 香槟,B。;Hereman,W。;温特尼茨,P。
相关软件: SYMMGRP;diffgrob2;谎言…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

斯费诺

65篇文献引用(2007–2023)
软件作者: W.多孔
相关软件: 莎拉;软性;SuSpect…
主要字段: 算子理论(47-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

TAMC公司

72份文件引用(1998年至2021年)
软件作者: Giering,Ralf;托马斯·卡明斯基
相关软件: TAF;ADIFOR公司;ADOL-C…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

图表之家

69篇文献引用(2012–2024)
软件作者: 冈纳·布林克曼;克里斯·库萨特(Kris Coolsaet);Goedgebeur,Jan;梅洛特,哈德里安
相关软件: 鹦鹉螺;踪迹;snarkhunter…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

iProver(iProver)

66份文件引用(2008–2023)
软件作者: 康斯坦丁·科洛文
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

KPCA加LDA

57篇文献引用(2006–2021)
软件作者: 杨,J。;Frangi,A.F。;杨,J。;张,D。;Z.Jin。
相关软件: 费雷特;UCI-ml;CMU PIE…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);统计学(62-XX)…

ALF公司

68篇文献引用(1993–2018)
软件作者: 莉娜·马格努森
相关软件: Coq;自动化;数字(amp;N)…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…

发现者

66份文件引用(1999–2023)
软件作者: 夏B
相关软件: QEPCAD;枫树;重新记录…
主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…

利比奥普

23篇文献引用(2019–2022)
软件作者: Nicholas P.沃德。
相关软件: 利格罗;斯巴达人;马林…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

GENREG公司

67篇文献引用(1999–2023)
软件作者: 马库斯·梅林格
相关软件: 鹦鹉螺;踪迹;图形之家…
主要字段: 组合数学(05-XX);几何(51-XX);计算机科学(68-XX)…

萨塔拉克

67篇文献引用(2010–2023)
软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒
相关软件: TPTP;Isabelle/HOL;LEO-II…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

嘉年华

60篇文献引用(2009–2023)
软件作者: 斯米尔诺夫公司。;斯米尔诺夫,V.A。;M.Tentyukov。
相关软件: 火灾;LiteRed;12月第二天…
主要字段: 代数几何(14-XX);特殊功能(33-XX);数值分析(65-XX)…

WebGraph(网络图表)

53篇文献引用(2006–2022)
软件作者: Boldi,P。;南维吉尼亚。
相关软件: UbiCrawler;SNAP;稀疏矩阵…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

DIFFALG公司

62篇文献引用(2000–2020)
软件作者: F.布利埃、E休伯特
相关软件: 美国国际开发署;枫树;差异托马斯…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…

迪莫拉

53篇文献引用(1998–2022)
软件作者: 达索系统
相关软件: Modelica;OpenModelica;Matlab…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

扩展平滑

58篇文献引用(2008–2024)
软件作者: Hyndman,R.J。;安妮·科勒(Anne B.Koehler)。;Ord,J.Keith;拉尔夫·斯奈德。
相关软件: 预测;预测;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

MPTP 0.2

55份文件引用(2006–2021)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

简单标尺

27篇文献引用(2001–2016)
软件作者: 汉堡D,奥斯汀T。
相关软件: 瓦特;MediaBench;MiBench…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

F3DAM公司

56篇文献引用(2021–2024)
软件作者: 莫扎法尔,M。;博斯塔纳巴德,R。;Chen,W。;Ehmann,K。;曹,J。;医学硕士贝萨。
相关软件: 亚当;PyTorch;TensorFlow…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

精灵

55份文件引用(1989–2023)
软件作者: 弗兰克·普芬宁
相关软件: Nuprl公司;Twelf公司;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

电影

53篇文献引用(2008–2022)
软件作者: 库马尔·阿比舍克;斯文·莱弗尔(Sven Leyffer);杰夫·林德拉斯
相关软件: 邦明;Ipopt;SCIP…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

SHERPA公司

50篇文献引用(2010–2024)
软件作者: T.格莱斯伯格;S.Hoche;F.克劳斯;M.Schonherr;S.舒曼;F Siegert;J.冬季
相关软件: MadGraph;PYTHIA8;Herwig++…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

字符串

53篇文献引用(2012–2023)
软件作者: 弗朗西斯科尼,A。;Szklarczyk博士。;Frankild,S。;库恩,M。;西蒙诺维奇,M。;Roth,A。;林,J。;明格兹,P。;博克,P。;冯·梅林,C。;詹森,L.J。
相关软件: KEGG;细胞景观;R、 …
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

X减少

53篇文献引用(2003–2020)
软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯)
相关软件: CDuce;XPath;PiDuce…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

香车叶草

50篇文献引用(1999–2022)
软件作者: 托马斯·希伦布兰德;伯恩德·洛什内尔
相关软件: VAMPIRE公司;TPTP;E定理证明器…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…

d真实

50篇文献引用(2013年-2023年)
软件作者: 高思春;孔顺浩;埃德蒙·克拉克(Edmund M.Clarke)。
相关软件: z3;Coq;HOL灯光…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

高阶逻辑

引用于47份文件(1993–2021)
软件作者: 陈卫东;迈克尔·基弗;大卫·S·沃伦
相关软件: Hiord;swrl;XSB…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

亚马逊EC2

29篇文献引用(2010–2022)
软件作者: 亚马逊
相关软件: 开放星云;桉树;Azure…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

ACRITH-XSC公司

在48份文件中引用(1985–2019)
软件作者: 沃尔夫冈·沃尔特。
相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

Sweave公司

31份文件引用(2002–2022)
软件作者: 弗里德里希·利什
相关软件: R;knitr;生物导体…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

TALx86

44篇文献引用(1998–2022)
软件作者: 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇
相关软件: Coq;毫升;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

地形

引用于47份文件(2000–2024)
软件作者: Jose F.Oliveira。;A.Miguel Gomes;费雷拉,J.Soeiro
相关软件: 古罗比;JNFP;速度测试…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

MadGraph5_aMC@NLO

42篇文献引用(2014–2024)
软件作者: J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro
相关软件: 费恩规则;PYTHIA8;德尔菲斯…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

奥斯卡

44篇文献引用(1992–2023)
软件作者: 约翰·波洛克。
相关软件: AFRA;Velev SAT基准;ClaiMaker…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ell-adic-galois-images公司

46篇文献引用(2015–2024)
软件作者: 杰里米·劳斯(Jeremy Rouse);安德鲁·V·萨瑟兰。;Zureick Brown,大卫
相关软件: 岩浆;LMFDB;SageMath…
主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…

精益TAP

44篇文献引用(1994–2022)
软件作者: 贝恩哈德·贝克特;约阿希姆·波塞加
相关软件: SETHEO公司;TPTP;萨奇莫…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

向外旋转

引用于45份文件(1999–2021)
软件作者: 美国兹威克。
相关软件: 环形切口;塞杜米;SDPT3…
主要字段: 组合数学(05-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

博客

引用于40篇文献(2006–2023)
软件作者: 米尔奇,B。;Marthi,B。;罗素,S。;桑塔格,D。;Ong,D.L。;Kolobov,A。
相关软件: 教会;ProbLog;IBAL…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

Calabi-Yau数据库

42篇文献引用(2015–2023)
软件作者: 奥特曼,罗斯;詹姆斯·格雷(James Gray);何阳辉;毗湿奴耶贾拉;布伦特·D·纳尔逊。
相关软件: cohomCalg;PALP;SageMath…
主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);微分几何(53-XX)…

奇梅拉

34份文件引用(2006–2023)
软件作者: Pettersen EF、Goddard TD、Huang CC、Couch GS、Greenblatt DM、Meng EC、Ferrin TE
相关软件: 爆炸;PSI-爆炸;关系…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

椰子

引用于40篇文献(2003–2023)
软件作者: Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot
相关软件: BARON公司;全球溶胶;AMPL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

UCPOP公司

引用于40篇文献(1993–2022)
软件作者: 彭伯蒂,J.S。;焊接,D。
相关软件: 图形平面图;神童;PDDL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

BILUTM公司

引用于40篇文献(1999–2021)
软件作者: 优素福·萨阿德;张军
相关软件: BILUM公司;ILUM;手臂…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

CIL公司

引用于33份文件(2002–2022)
软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。
相关软件: 爆炸;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

CoLoR公司

引用于40篇文献(2006–2022)
软件作者: F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski
相关软件: Coq;Isabelle/HOL;CeTA…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…

GreatSPN 1.7

38篇文献引用(1995–2012)
软件作者: Chiola,G。;弗朗西斯科尼斯,G。;盖塔,R。;里巴多,M。
相关软件: GreatSPN;SPNP;CADP…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

赫罗特

41篇文献引用(2015–2023)
软件作者: O.博克。;贝尔格,I。;A.尼克利什。
相关软件: Z树;o树;奥赛…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

消音器

29篇文献引用(2003–2022)
软件作者: S.Kurtz、A.Phillippy、A.L.Delcher、M.Smoot、M.Shumway、C.Antonescu、S.L.Salzberg
相关软件: 拉根;PatternHunter;BLASTZ…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

HAS-质量保证计划

37篇文献引用(1999–2022)
软件作者: 甘巴德拉,L.M。;Taillard,E.D.公司。;M.多里戈。
相关软件: MACS-VRPTW;QAPLIB;禁忌搜索…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

多晶硅

引用于40篇文献(2015–2024)
软件作者: F.D.威瑟登。;文森特,体育。
相关软件: Gmsh;PyFR;NGSolve…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

Mixmod公司

37篇文献引用(2006–2022)
软件作者: 克里斯托夫·比尔纳基;塞勒克斯(Celeux),吉尔(Gilles);戈瓦尔特、杰拉德;佛罗伦萨,兰格罗涅特
相关软件: 麦克卢斯特;R;PGMM…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…

产品开发B2PQR

37篇文献引用(2006–2023)
软件作者: T.Dolinsky、J.Nielsen、A.McCammon、N.Baker
相关软件: APBS;MIBPB;TABI…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

S+小波

37篇文献引用(1997–2022)
软件作者: 安德鲁·布鲁斯(Andrew G.Bruce);红叶高
相关软件: glmnet;PDCO;稀疏…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…

萨里

38篇文献引用(1994年-2023年)
软件作者: 玛丽亚·多洛雷斯·埃斯特班·莱弗勒、多明戈·莫拉莱斯·冈萨雷斯、阿古斯汀·佩雷斯-马丁
相关软件: R;rsae;博阿…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

统计学

35篇文献引用(1994–2020)
软件作者: StatSoft公司。
相关软件: R;SPSS软件;单元格位置…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

验证

35篇文献引用(2011–2023)
软件作者: 托马斯·鲍顿(Thomas Bouton)、迭戈·卡米尼亚·B·德·奥利维拉(Diego Caminha B.de Oliveira)、大卫·德哈贝(David Déharbe)、帕斯卡尔·方丹(Pascal Fontaine
相关软件: z3;CVC4;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);实函数(26-XX)…

非洲渔业协会

37篇文献引用(2009–2023)
软件作者: 彼得罗·巴罗尼;费德里科·塞鲁蒂(Federico Cerutti);马西米利亚诺·贾科明;吉奥瓦尼·吉达
相关软件: 皮格拉夫;ConArg2;奥斯卡…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

算法731

37篇文献引用(1994–2019)
软件作者: J.G.布隆;P.A.Zegeling先生
相关软件: CWRESX公司;CWRESU;DASSL…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

筛选结果依据…

全部的 前5名

相关软件