×

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

单一

1641年文献引用(1991–2024)
软件作者: Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼
相关软件: 麦考利2;可可;SageMath…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

减少

738份文件引用(1970–2023)
软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆
相关软件: 枫树;数学;马西玛…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

运营质量

499份文件引用(2004–2024)
软件作者: 沃尔特·高茨基
相关软件: Matlab;DLMF;正交多项式…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…

CGAL公司

417份文件引用(2000–2024)
软件作者: CGAL编辑委员会
相关软件: LEDA;二维三角剖分;三角形…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

COBOL公司

170篇文献引用(1960–2020)
软件作者: 格蕾斯·哈珀
相关软件: 损益表;ALGOL 60;Ada95…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数值分析(65-XX)…

LiE公司

177份文件引用(1993–2024)
软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen
相关软件: 数学;岩浆;麦考利2…
主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…

TISEAN公司

165篇文献引用(1999–2023)
软件作者: Rainer Hegger、Holger Kantz、Thomas Schreiber
相关软件: Matlab;K2;科学…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

SnapPea公司

167篇文献引用(1992–2024)
软件作者: 帕特里克·J·卡拉汉。;希尔德布兰德,马丁五世。;周,Jeffrey R。
相关软件: SnapPy;捕捉;Regina…
主要字段: 群论与推广(20-XX);复变量函数(30-XX);微分几何(53-XX)…

图形库

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

LISP公司

114篇文献引用(1960–2023)
软件作者: 约翰·麦卡锡
相关软件: ACL2;NQTHM;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

SYMMGRP公司

120篇文献引用(1993–2022)
软件作者: 威利·赫里曼;B.香槟;P.温特尼茨
相关软件: 枫树;SYMMGRP公司。最大值;谎言…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

GL(n)包装

117篇文献引用(2006–2023)
软件作者: 凯文·布劳恩
相关软件: LMFDB;数学;SageMath…
主要字段: 数论(11-XX);拓扑群,李群(22-XX);几个复变量和分析空间(32-XX)…

重新查看

106篇文献引用(1991年-2023年)
软件作者: 鲁道夫·伯哈默(Rudolf Berghammer);冈瑟·施密特;温特,迈克尔
相关软件: Isabelle/HOL;证明人9;Rath…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…

FISHPAK公司

106篇文献引用(1979–2023)
软件作者: Adams,J.、Swarztrauber,P.、Sweet,R
相关软件: IIMPACK;泥袋-2;MUDPACK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

菲利普

90篇文献引用(1996年-2023年)
软件作者: 费森斯坦,J。
相关软件: ClustalW;PAUP*;贝叶斯先生…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

结地图集

104篇文献引用(2005–2023)
软件作者: 巴纳坦,德罗;斯科特·莫里森
相关软件: 节点信息;Khoho;结景…
主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)…

PALP公司

75篇文献引用(2003–2023)
软件作者: M.Kreuzer、H.Skarke
相关软件: SageMath;TOPCOM公司;Calabi Yau数据库…
主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…

BGL公司

59篇文献引用(2007–2023)
软件作者: JG Siek、LQ Lee、A Lumsdaine
相关软件: 促进;增强C++库;CGAL…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

PAUP公司*

52篇文献引用(1987–2024)
软件作者: 大卫·斯沃福德
相关软件: PHYLIP;RAxML;贝叶斯先生…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

凯伊迈拉

55份文件引用(2008–2023)
软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔
相关软件: SpaceEx;凯伊迈拉X;高科技…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

ITPACK公司

50篇文献引用(1979–2023)
软件作者: 大卫·R·金凯。;大卫·M·杨。
相关软件: ITPACK 2C;ELLPACK;CUDA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

ADCIRC公司

52篇文献引用(1994–2024)
软件作者: Rick Luettich;Joannes Westerink;Randall Kolar;克林特·道森
相关软件: Gmsh;电信;杰克劳…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

LP手册

49篇文献引用(2001年至2021年)
软件作者: 罗伯特·范德贝(Robert J.Vanderbei)。
相关软件: NETLIB LP测试集;LOQO;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

CARAT公司

46篇文献引用(1998–2023)
软件作者: J.Opgenorth,W.Plesken,T.Schulz;弗兰兹·盖勒
相关软件: 间隙;岩浆;HAP…
主要字段: 数论(11-XX);代数几何(14-XX);群论与推广(20-XX)…

圆形切口

引用于47份文件(1990–2023)
软件作者: 塞缪尔·伯尔;蒙特罗,雷纳托特区。;张茵
相关软件: SDPLR;向外旋转;Biq Mac…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

dcc公司

46篇文献引用(2012–2023)
软件作者: 乌韦·诺曼
相关软件: ADOL-C;锥体;旋转…
主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

埃拉托

引用于40篇文献(1979–2022)
软件作者: Gruber,R。;Troyon,F。;伯杰,D。;伯纳德,L.C。;罗塞特,S。;Schreiber,R。;科纳,W。;施耐德,W。;罗伯茨,K.V。
相关软件: XTOR;奶酪;GATO…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

ITSM2000标准

36篇文献引用(2016–2023)
软件作者: 彼得·布罗克韦尔(Peter J.Brockwell)。;理查德·戴维斯(Richard A.Davis)。
相关软件: 其mr;astsa;tscount…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

STeP公司

引用于33份文件(1997–2015)
软件作者: N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe
相关软件: PVS;自旋蛋白;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

MPICH-G2型

17篇文献引用(2003–2010)
软件作者: 尼古拉斯·T·卡罗尼斯。;布莱恩·托宁(Brian Toonen);福斯特,伊恩
相关软件: Globus工具包;磁粉检测;MPI/MPICH…
主要字段: 计算机科学(68-XX);流体力学(76-XX);量子理论(81-XX)…

PNM公司

35篇文献引用(1992–2021)
软件作者: 奥利弗·阿伯思
相关软件: 进入PT_90;C-XSC 2.0;C-XSC…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

VisualStudio。净值

28篇文献引用(2002–2023)
软件作者: 微软
相关软件: Visual Basic;ASP。网络;Visual C#…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SCL总成

32篇文献引用(2009–2024)
软件作者: 杜珊·武德拉戈维奇;伊万娜·维达诺维奇;安顿巴拉日;保萨米·穆鲁加南丹(Paulsamy Muruganandam);Adhikari,Sadhan K。
相关软件: 格罗斯·皮塔耶夫斯基;AEDU;图像时间1d…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

深色SUSY

29篇文献引用(2006–2022)
软件作者: P缆车;J Edsjö;P Ullio;L Bergström;M Schelke;E A巴尔茨
相关软件: 微囊藻;软性;PYTHIA8…
主要字段: 代数几何(14-XX);偏微分方程(35-XX);量子理论(81-XX)…

GRIN公司

31份文件引用(1995–2023)
软件作者: Serkan Hosten,Bernd Sturmfels公司
相关软件: 麦考利2;可可;奇异…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…

动力箱

31份文件引用(2010–2023)
软件作者: 西蒙·阿利奥利;保罗·内森;卡罗·奥莱里;Re,伊曼纽尔
相关软件: MC@NLO公司;PYTHIA8;SHERPA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

球形包装

27篇文献引用(1998–2023)
软件作者: 约翰·亚当斯(John C.Adams)、保罗·斯瓦茨特劳伯(Paul N.Swarztrauber)
相关软件: 冠军;SHTOOLS;Chebfun…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);数值分析(65-XX)…

qGCL公司

25篇文献引用(2000–2024)
软件作者: 保罗·祖利亚尼
相关软件: QPL;质量管理清单;Quipper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

AFNI公司

17篇文献引用(2008–2023)
软件作者: 罗伯特·考克斯
相关软件: FSL;R;oro.nifti…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

阿尔多

26篇文献引用(1997–2014)
软件作者: aldor.org;曼纽尔·布朗斯坦
相关软件: AXIOM;枫树;SageMath…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…

FLagSHyP公司

27篇文献引用(2016–2023)
软件作者: 哈维尔·博内;安东尼奥·吉尔。;理查德·伍德。
相关软件: Gmsh;ABAQUS;HYPLAS…
主要字段: 微分几何(53-XX);数值分析(65-XX);变形固体力学(74-XX)…

SYMMETRICA公司

26篇文献引用(1992–2017)
软件作者: Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队
相关软件: 枫树;许可证;利玛窦…
主要字段: 组合数学(05-XX);代数几何(14-XX);群论与推广(20-XX)…

波列

26篇文献引用(2012–2023)
软件作者: 乔纳森·谢拉特。
相关软件: 自动;HomCont;自动-86…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

切尼-金凯

23篇文献引用(1985–2012)
软件作者: 沃德·切尼(Ward Cheney);大卫·金凯
相关软件: Matlab;伊斯兰教;数学…
主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…

SACLIB公司

23篇文献引用(1993–2009)
软件作者: David G.Richardson:沃纳·克兰迪克
相关软件: QEPCAD;枫树;FOXBOX…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…

加拿大

24篇文献引用(1987–2018)
软件作者: D.W.兰德。
相关软件: 分裂;SYMMGRP公司。最大值;diffgrob2…
主要字段: 非结合环与代数(17-XX);常微分方程(34-XX);偏微分方程(35-XX)…

TBSIM公司

24篇文献引用(2008–2023)
软件作者: Emery X、Lantuejoul C
相关软件: GSLIB;DLMF;算法1013…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

LPL软件

引用于20份文件(2000–2023)
软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease
相关软件: EPGY;减少;OTTER…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

德莱德

15篇文献引用(2009–2024)
软件作者: Isard,M。;布迪乌,M。;Yu,Y。;Birrell,A。;费特利,D。
相关软件: MapReduce;Hadoop;火花…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

BPPLIB公司

19份文件引用(2018–2024)
软件作者: 马克森·德洛姆;曼努埃尔·伊奥里(Manuel Iori);西尔瓦诺·马特罗
相关软件: OR-库;2DCPackGen;2DPackLib…
主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX)

玛丽亚

19份文件引用(2000–2021)
软件作者: M“akel”a,马可
相关软件: LoLA;Uppaal;M网络…
主要字段: 计算机科学(68-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)…

NCOS工具

19份文件引用(2010–2022)
软件作者: 克里斯蒂扬·卡福塔;克莱普,伊戈尔;Janez Povh;萨宾·伯格多夫(Sabine Burgdorf)。
相关软件: Matlab;NCAlgebra;SeDuMi…
主要字段: 一般代数系统(08-XX);交换代数(13-XX);代数几何(14-XX)…

贾克

17篇文献引用(2010–2024)
软件作者: B.巴黎
相关软件: GeoGebra;单一;Xcas…
主要字段: 交换代数(13-XX);代数几何(14-XX);几何(51-XX)…

JASMIN公司

15篇文献引用(2014–2022)
软件作者: Z.Mo、A.Zhang、X.Cao、Q.Liu、X.Xu、H.An、W.Pei、S.Zhu
相关软件: 炒作;BoomerAMG;JAUMIN…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

SDPARA公司

17篇文献引用(2004–2019)
软件作者: 山下先生;藤泽;M.小岛
相关软件: 塞杜米;SDPA;SDPT3…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

CoDiPack公司

17篇文献引用(2018–2023)
软件作者: Max Sagebaum、Tim Albring、Nicolas Gauger
相关软件: ADOL-C;SU2;锥体…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

涂鸦.pc

16篇文献引用(2007–2020)
软件作者: D.B.西部;S.Fajtlowicz;E.德拉维尼亚
相关软件: 涂鸦
主要字段: 组合数学(05-XX)

快船

4份文件引用(1992–1993)
软件作者: Nantucket公司
相关软件: dBase;FoxPro;COBOL…
主要字段: 计算机科学(68-XX)

普里巴斯

8份文件引用(2019–2022)
软件作者: 诺姆·布朗;托马斯·桑德霍姆
相关软件: DeepStack;AlexNet;ImageNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);流体力学(76-XX)…

VFGEN(变频发电机)

在14份文件中引用(2008年至2020年)
软件作者: 沃伦·威克塞
相关软件: pythNon;学校;数据集…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

DNAD公司

13份文件引用(2013年-2023年)
软件作者: 于文斌;布莱尔、麦克斯韦
相关软件: DiffSharp公司;ADiGator;ADIFOR…
主要字段: 拓扑群,李群(22-XX);微分几何(53-XX);数值分析(65-XX)…

爱迪生

12份文件引用(1992–2009)
软件作者: 曾荫权(Edward Tsang)
相关软件: 间隙;Matlab;EVIM公司
主要字段: 群论与推广(20-XX);统计学(62-XX);数值分析(65-XX)…

格雷斯

13份文件引用(1991–2018)
软件作者: Jim E.Horwedel。
相关软件: ADIFOR公司;ADOL-C;ADIC…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

OmniRPC

12份文件引用(2001–2013)
软件作者: 佐藤、三菱;平野、莫托纳利;田中义雄;佐藤泽口
相关软件: Ninf-G/MPI;网格求解;NetSolve…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

RedHom公司

13份文件引用(2012–2022)
软件作者: 马特乌斯·朱达;玛丽安·姆罗泽克
相关软件: 间隙;CHomP;大写…
主要字段: 凸和离散几何(52-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…

BitBlaze公司

7份文件引用(2012–2023)
软件作者: D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena
相关软件: BAP;KLEE公司;Dytan…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

岛屿

11份文件引用(2009–2018)
软件作者: 斯文·威尔多拉耶格(Sven Verdoolaege)
相关软件: 欧米茄;巴维诺克;TRACO…
主要字段: 组合数学(05-XX);数论(11-XX);凸和离散几何(52-XX)…

数学链接

12份文件引用(1995–2011)
软件作者: wolfram.com网站
相关软件: 数学;C-XSC;ParLinSys…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

OpenAD(打开AD)

12份文件引用(2005–2016)
软件作者: 尤特克,J
相关软件: ADIC;ADIFOR公司;OpenAD/F…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

OSiL公司

10篇文献引用(2005–2022)
软件作者: 罗伯特·福勒;马军;基普·马丁
相关软件: AMPL;GAMS;LINDO…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

FoCaLiZe公司

引用于9份文件(2015–2023)
软件作者: INRIA公司;佩索,F.,维娅,P.,多利盖兹,D。
相关软件: Coq;dedukti;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

S评估

11份文件引用(2013–2020)
软件作者: A.Heinle,V.Levandovsky
相关软件: 符号数据;单一;枫叶…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

图特_bhkk

11份文件引用(2010–2023)
软件作者: 安德烈亚斯·比约克隆德(Andreas Björklund)、托尔·胡斯菲尔德(Thore Husfeldt)、佩特里·卡斯基(Petteri Kaski)、米科·科维斯托(Mikko Koivisto)
相关软件: 图特;SageMath;GiNaC…
主要字段: 组合数学(05-XX);数论(11-XX);数值分析(65-XX)…

ADOL-F公司

10篇文献引用(1996–2018)
软件作者: 德米特里·西里亚耶夫(Dmitri Shiriaev);安德烈亚斯·格里万克
相关软件: ADIFOR公司;ADOL-C;ADIC…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

MCSim公司

5份文件引用(2007–2021)
软件作者: 弗雷德里克·博伊斯(Frederic Y.Bois)、唐·马斯泽尔(Don R.Maszle)
相关软件: 解算;httk;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

SEAWAT公司

10篇文献引用(2005–2022)
软件作者: C.D.Langevin、D.A.Thorne、W.Guo。
相关软件: MODFLOW;FEFLOW;强硬…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

Senseval公司

7份文件引用(2001–2012)
软件作者: 拉达·米哈尔恰
相关软件: WordNet;TnT;SVM工具…
主要字段: 计算机科学(68-XX)

光谱

8份文件引用(1995–2009)
软件作者: Kenneth S.Kundert。
相关软件: 香料;算法823;算法647…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

分割

引用于9份文件(1987–2012)
软件作者: 兰德,D.W。;温特尼茨,P。;汉斯·扎森豪斯
相关软件: CANONIK公司;RADICAL(径向);diffgrob2…
主要字段: 非结合环与代数(17-XX);拓扑群,李群(22-XX);偏微分方程(35-XX)…

草莓地

5份文件引用(2019年-2023年)
软件作者: 内森·基洛兰(Nathan Killoran)、乔什·伊扎克(Josh Izaac)、尼科拉·奎萨达(Nicolás Quesada
相关软件: 项目Q;qHiPSTER;OpenFermion…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);量子理论(81-XX)…

成人教育-4

6篇文献引用(1996–2017)
软件作者: Jean Thioulouse;丹尼尔·切塞尔;Sylvain Dole´dec;珍妮·米歇尔·奥利维尔
相关软件: mixOmics;CCA;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

隔间

7份文件引用(2005–2019)
软件作者: B.E.夏皮罗、A.列夫琴科、E.M.梅耶洛维茨、B.J.沃尔德、E.D.姆约尔斯内斯。
相关软件: 数学;生物CHAM;STOCHSIM…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

基因芯片通路分析

3份文件引用(2006–2011)
软件作者: Dahlquist,K.D.,Salomonis,N.,Vranizan,K.,Lawlor,S.C.,Conklin,B.R。
相关软件: MAPPFinder;KEGG;大卫…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

吉诺夫

8份文件引用(2006年-2014年)
软件作者: 于布林科夫。答:。;副总裁Gerdt。
相关软件: 珍妮特;枫树;代数托马斯…
主要字段: 交换代数(13-XX);结合环与代数(16-XX);偏微分方程(35-XX)…

机器人

7份文件引用(1993–2020)
软件作者: N.Docquier、A.Poncelet、P.Fisette
相关软件: EasyDyn;Chrono公司;帕西莫多…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);粒子力学与系统(70-XX)…

SU3CGVCS公司

8份文件引用(2004–2021)
软件作者: 巴赫里,C。;罗伊,D.J。;德雷尔,J.P。
相关软件: SU3;SU3Clebsch;WIGXJPF…
主要字段: 非结合环与代数(17-XX);群论与推广(20-XX);拓扑群,李群(22-XX)…

AS 135标准

7份文件引用(1979–2019)
软件作者: 罗纳德·阿姆斯特朗。;大卫·S·孔。
相关软件: AS 83;为124;AS 138…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

DryadLINQ公司

4份文件引用(2012–2018)
软件作者: Yu,Y。;Isard,M。;费特利,D.等人
相关软件: MapReduce;Dryad;Hadoop…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);统计力学,物质结构(82-XX)

MAT-fem公司

7份文件引用(1994–2022)
软件作者: CIMNE;尤金尼奥·奥尼亚特;弗朗西斯科·扎拉特
相关软件: FEAPpv;COMSOL公司
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

NL控制

7份文件引用(2016–2020)
软件作者: Belikov,J.、Kotta,UE、Tónso,M。
相关软件: 数学;矿石代数分析;矿石形态…
主要字段: 实函数(26-XX);动力系统与遍历理论(37-XX);变异微积分和最优控制;优化(49-XX)…

佩林戈尔

7份文件引用(2001–2008)
软件作者:
相关软件: 纳莫蒂夫;法国复兴信贷银行;Rnabob…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

PROPATH公司

7份文件引用(2000–2011)
软件作者: PROPATH集团
相关软件:
主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)

YAP3号机组

4份文件引用(2004–2015)
软件作者: 迈克尔·怀斯
相关软件: 获胜;CCFinder;CP-miner…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

生物++

4份文件引用(2011–2022)
软件作者: 杜泰尔J,布索B
相关软件: 物理SIC;诺顿;T-咖啡…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);运筹学,数学编程(90-XX)…

dCAQE公司

6篇文献引用(2019–2022)
软件作者: Tentrup,Leander;马库斯·拉贝。
相关软件: HQPre;iProver;CAQE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

K2K(公里)

6篇文献引用(2002–2016)
软件作者: Noriko Imafuji;三铃木奥奇艾
相关软件: LinKnot;结理论;数学链接…
主要字段: 偏微分方程(35-XX);流形和细胞复合体(57-XX);计算机科学(68-XX)…

MCTS解决方案

6篇文献引用(2008–2023)
软件作者: Mark H.M.Winands,Yngvi Björnsson,Jahn-Takeshi Saito
相关软件: AlphaZero;背包;全球投资银行
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

米莫拉

3份文件引用(1995–2006)
软件作者: S Bashford、U Bieker、B Harking、R Leupers、P Marwedel、A Neumann、D Voggenauer;多特蒙德大学
相关软件: 火焰;西瓦;ISDL…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

PL360型

6篇文献引用(1968–1980)
软件作者: 北卡罗来纳州沃思。
相关软件: 阿尔戈60
主要字段: 计算机科学(68-XX)

pMatlab公司

5份文件引用(2008–2021)
软件作者: 布利斯,N.,凯普纳,J。
相关软件: Matlab;MatlabMPI;MultiMATLAB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

筛选结果依据…

全部的 前5名

相关软件