×

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

蟒蛇

软件作者:吉多·范罗森
参考文献: 1028份出版物(1991-2023)
相关软件: 神经质;裸体;Matplotlib;化学试剂盒;Matlab语言;Pythorch…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

LMI工具箱

软件作者:数学作品;盖奈特,P。;尼米洛夫斯基,A。;劳布,A.J。;奇拉利,M。
参考文献: 1451份出版物(1995-2022年)
相关软件: Matlab语言;控制系统工具箱;沉香;亚尔米普;Mu分析综合工具箱;SDPT3…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);运筹学,数学规划(90-XX)

朱莉娅

软件作者:Bezanson J、Karpinski S、Shah VB、Edelman A
参考文献: 394种出版物(2014-2022年)
相关软件: github;跳跃;微分方程.jl;R;古罗比;蟒蛇…
主要领域: 偏微分方程组(35-XX);统计学(62-XX);数值分析(65-XX)

Nuprl公司

软件作者:R。五十、 警员,S.F.Allen,H.M.Bromley,W.R.Cleaveland,J.F.Cremer,R.W.Harper,D.J.Howe,T.B.Knoblock,N.P.Mendler,P.Panangaden,J.T.Sasaki,S.F.Smith
参考文献: 392份出版物(1986-2022年)
相关软件: 成本;霍尔;伊莎贝尔;PVS公司;自动机;毫升…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);交换代数(13-XX)

霍尔灯

软件作者:哈里森,约翰
参考文献: 301份出版物(1998-2022)
相关软件: 成本;伊莎贝尔/霍尔;霍尔;伊莎贝尔;后桅;毫升…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数论(11-XX)

PHC包装

软件作者:简·维舍尔德
参考文献: 229份出版物(1999-2022)
相关软件: 贝尔蒂尼;HOM4PS;麦考拉2;单数;PHoM公司;混合卷…
主要领域: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)

科学实验室

软件作者:科学实验室企业;里卡多·法布里
参考文献: 169种出版物(1999-2022年)
相关软件: Matlab语言;倍频程;R;数学;枫树;科学公司…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

神经网络工具箱

软件作者:迪默斯,H.B.,比尔,M.,哈根,M.T。
参考文献: 131种出版物(1995-2021年)
相关软件: Matlab语言;UCI毫升;优化工具箱;C4.5;小波工具箱;模糊逻辑工具箱…
主要领域: 统计学(62-XX);计算机科学(68-XX);可变形固体力学(74-XX)

埃斯特雷尔

软件作者:杰拉德浆果
参考文献: 133种出版物(1985-2022)
相关软件: 信号机;光泽;乌帕;Simulink公司;旋转;石英…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

红皮书

软件作者:安德烈亚斯多尔兹曼;托马斯·斯图姆;韦斯芬宁,沃尔克
参考文献: 164种出版物(1997-2022)
相关软件: QEPCAD公司;枫树;z3;减少;RSOLVER公司;发现者…
主要领域: 数理逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)

塞萨尔

软件作者:奎尔,J.P。;Sifakis,J。
参考文献: 149种出版物(1982-2021)
相关软件: 旋转;猛击;乌帕;努西姆;班德拉;PVS…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

低成本

软件作者:米尔纳,罗宾
参考文献: 155份出版物(1972-2022)
相关软件: 成本;毫升;霍尔;伊莎贝尔;Nuprl公司;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);范畴论;同调代数(18-XX)

鲁棒控制工具箱

软件作者:数学作品;巴拉斯·G·蒋·R·帕卡德·A·萨芬诺夫·M
参考文献: 152种出版物(1989-2022)
相关软件: Matlab语言;控制系统工具箱;Mu分析综合工具箱;LMI工具箱;亚尔米普;优化工具箱…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);数值分析(65-XX)

控制系统工具箱

软件作者:MathWorks公司;格雷斯,A。;劳布,A.J。;利特尔,J.N。;汤普森,C.M。
参考文献: 147种出版物(1995-2022年)
相关软件: Matlab语言;LMI工具箱;鲁棒控制工具箱;亚尔米普;沉香;优化工具箱…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);变分法与最优控制;优化(49-XX)

米兰达

软件作者:特纳,D.A。
参考文献: 148种出版物(1985-2020)
相关软件: 哈斯克尔;毫升;清洁;Nuprl公司;巴别塔;自动机…
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);范畴论;同调代数(18-XX)

目标3

软件作者:J。Goguen,T.Winkler,J.Meseguer,K.Futatsigi和J.Jouanaud;(近亲)
参考文献: 135种出版物(1989-2021)
相关软件: 莫德;卡菲奥比;CASL公司;伊兰;哈斯克尔;批准…
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);范畴论;同调代数(18-XX)

阿迪娜

软件作者:ADINA研发公司;K、 J.洗澡
参考文献: 131种出版物(1976-2021年)
相关软件: ANSYS软件;阿巴克斯;FEAP;Matlab语言;模仿;LS-DYNA…
主要领域: 一般性和全局性主题;收款(00-XX);数值分析(65-XX);可变形固体力学(74-XX)

CVC4

软件作者:Barrett,C.L.,Conway,C.L.,Deters,M.,Hadarean,L.,Jovanović,D.,King,T.,Reynolds,A.,Tinelli,C.L。
参考文献: 123种出版物(2013-2022)
相关软件: z3;SMT-LIB;数学5;是的;吸血鬼;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)

LISP-STAT公司

软件作者:卢克·蒂尔尼
参考文献: 88种出版物(1977-2019)
相关软件: R;远景;戈壁;弧;蒙德里安;MacSpin…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

Risa/Asir

软件作者:北野正彦、横山和祖、竹岛Taku、Shimoyama Takeshi、Anai Hiroshi,Kando Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama(他们致力于基础设计、内核源代码和核心库)。至于库的提交者和最近的贡献者,请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir。或神户大学。
参考文献: 116种出版物(1992-2022)
相关软件: 单数;麦考拉2;菅直人;OpenXM;数学;hgm R…
主要领域: 交换代数(13-XX);代数几何(14-XX);多复变数与解析空间(32-XX)

算盘

软件作者:精灵,马提亚斯;古温,卡斯滕;Jünger,迈克尔;里纳尔迪,乔瓦尼
参考文献: 117种出版物(1996-2022年)
相关软件: CPLEX公司;明托;交响曲;TSPLIB公司;波尔塔;SCIP…
主要领域: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

量子点

软件作者:博伊德,斯蒂芬P。;巴拉特,克雷格H。
参考文献: 106种出版物(1991-2022)
相关软件: LMI工具箱;沉香;亚尔米普;鲁棒控制工具箱;Matlab语言;优化工具箱…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

西斯库斯

软件作者:Mats Carlsson,Per Mildner公司
参考文献: 89种出版物(1992-2021)
相关软件: SWI序言;序言;再见;XSB公司;盎司;B-Prolog…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);统计(62-XX)

伊兰

软件作者:彼得·博罗万斯基,埃里克·德普拉涅,克劳德·基什内尔,海琳·基什内尔,皮埃尔·艾蒂安·莫罗,克里斯托夫·林格森,玛丽安·维特克
参考文献: 105种出版物(1996-2020)
相关软件: 莫德;卡菲奥比;目标3;战略;哈斯克尔;阿泰姆…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

乐高

软件作者:罗,Z.,波拉克,R。
参考文献: 106种出版物(1991-2021)
相关软件: 成本;Nuprl公司;自动机;伊莎贝尔;毫升;霍尔…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);范畴论;同调代数(18-XX)

锡林克斯

软件作者:西林公司。
参考文献: 22种出版物(1994-2021)
相关软件: 汉德尔-C;Simulink公司;用鼻子哼哼;Matlab语言;库达大学;生理工具包…
主要领域: 场论与多项式(12-XX);常微分方程组(34-XX);计算机科学(68-XX)

摩卡

软件作者:Alur,R.,Henzinger,T.A.,Mang,F.Y.C.,Qadeer,S.,Rajamani,S.K.,塔斯兰,S.K。
参考文献: 81种出版物(1999-2021)
相关软件: 麦克马斯;旋转;MCMAS-SLK公司;努西姆;鹰;棱镜…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

塞尔4

软件作者: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。
参考文献: 84种出版物(2009-2022)
相关软件: 伊莎贝尔/霍尔;成本;伊莎贝尔;霍尔;霍尔灯;开普勒98…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

萨特4J

软件作者:勒贝尔;帕兰
参考文献: 81种出版物(2007-2022)
相关软件: 迷你卫星;糠;qmax卫星;打开WBO;皮科萨;z3…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

cvc3

软件作者:克拉克·巴雷特、塞萨尔·蒂内利、克里斯·康威、摩根·德斯特尔斯、亚历山大·福克斯、叶廷戈、乔治·哈根、米娜·郑、德扬·约万诺维奇、蒂姆·金
参考文献: 77种出版物(2006-2021年)
相关软件: z3;SMT-LIB;是的;简化;原因3;因为…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

金纳克

软件作者:欧洲专利局(EPO);C、 W.鲍尔,A.弗林克,R.克雷克尔
参考文献: 71种出版物(2002-2022)
相关软件: 形式;雷杜泽;数学;HPL;火灾;文学化…
主要领域: 复变函数(30-XX);几何(51-XX);数值分析(65-XX)

渠流

软件作者:J。F、 吉布森
参考文献: 78种出版物(2008-2022)
相关软件: FFTW公司;Matlab语言;明管流;自动-07P;自动;拉帕克…
主要领域: 偏微分方程组(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

加特工具箱

软件作者:C。Houck,J.Joines,M.Kay,A.Chipperfield,P.Flemming,H.Pohlheim,C.Fonseca
参考文献: 68种出版物(1999-2021)
相关软件: Matlab语言;基诺科普;遗传算法和直接搜索工具箱;XFOIL公司;自我;DFO…
主要领域: 统计学(62-XX);计算机科学(68-XX);可变形固体力学(74-XX)

克莱姆

软件作者:德尼科拉,R。;法拉利,G.L。;普利斯,R。
参考文献: 62种出版物(2000-2021年)
相关软件: 琳达;克拉瓦;石灰;SCEL公司;莫德;SLMC…
主要领域: 数理逻辑与基础(03-XX);通用拓扑(54-XX);计算机科学(68-XX)

AETG公司

软件作者:科恩博士。;达尔,S.R。;弗雷德曼,麻省理工学院。;巴顿,G.C。
参考文献: 64种出版物(1998-2022)
相关软件: 凯肯;行为;禁忌搜索;准确指出;马克斯克里克因;Modelica…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

钥匙

软件作者:  http://www.key-project.org/people.html
参考文献: 51种出版物(2000-2021)
相关软件: JML公司;ESC/Java;喀拉喀托;布吉;规格;PVS…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)

完成

软件作者:F。莱布弗里茨;W、 利宾斯基
参考文献: 58种出版物(2005-2022)
相关软件: 复合材料;佩农;亚尔米普;喜福;彭氏指数;SDPT3…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)

KORBX公司

软件作者:美国电话电报公司;威廉·J·卡罗兰、詹姆斯·E·希尔、杰弗瑞·L·肯宁顿、桑德拉·尼米和斯蒂芬·J·威奇曼
参考文献: 56种出版物(1990-2018)
相关软件: IPM;米诺斯;德维克斯;CPLEX公司;PPRN;NETGEN…
主要领域: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

软件作者:雷内布伦;Fons Rademakers公司
参考文献: 31种出版物(2001-2022)
相关软件: 皮蒂亚8;蟒蛇;GEANT4;德尔菲;根;HepMC…
主要领域: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)

BOINC公司

软件作者:D.P.安德森
参考文献: 19种出版物(2006-2021)
相关软件: XtremWeb;Globus工具包;和弦;夏洛特;MapReduce;Hadoop…
主要领域: 复变函数(30-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

摄像机校准

软件作者:布格J-Y
参考文献: 20种出版物(2002-2021)
相关软件: 校准;筛选;小企业管理局;赫曼内娃;Matlab语言;社会责任感…
主要领域: 统计学(62-XX);计算机科学(68-XX);流体力学(76-XX)

MPTP 0.2

软件作者:城市,约瑟夫
参考文献: 51种出版物(2006-2021年)
相关软件: 后桅;定理证明器;吸血鬼;TPTP;马拉雷亚;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

希尔拉布

软件作者:基塔,库蒂尼克;沙赫拉姆,莫特扎;庄晓生
参考文献: 51种出版物(2010-2022)
相关软件: 小波多尺度库;NSCT工具箱;Matlab语言;麦克拉布;PDCO公司;FFTW…
主要领域: 欧氏空间的调和分析(42-XX);数值分析(65-XX);计算机科学(68-XX)

再见

软件作者:布埃诺,F.,卡贝扎,D.,卡罗,M.,赫密尼基尔多,M.,洛佩斯·加西亚,P.,普埃布拉。
参考文献: 50种出版物(1999-2021)
相关软件: 恰奥普;西斯库斯;汞;XSB公司;幼儿保育和教育;拉夫特…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

信号

软件作者:诺瓦克,大卫;塔尔平,让·皮埃尔;戈蒂埃,蒂埃里;保罗,勒格尔尼奇
参考文献: 48种出版物(1987-2018)
相关软件: 埃斯特雷尔;光泽;托勒密;Simulink公司;多时性;状态流…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

马拉雷亚

软件作者:城市,约瑟夫
参考文献: 49种出版物(2007-2021年)
相关软件: 定理证明器;后桅;吸血鬼;TPTP;MPTP 0.2;男警察…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)

涂片

软件作者:本扎肯,维罗尼克;卡斯塔格纳,朱塞佩;弗里希,阿兰
参考文献: 48种出版物(2003-2020)
相关软件: XDuce公司;XPath;XQuery;哈斯克尔;OCaml公司;皮杜塞…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

GridSim公司

软件作者:布亚,拉吉库马尔;莫希德,曼祖尔
参考文献: 26种出版物(2002-2020)
相关软件: 视疲劳;尼姆罗德/G;SIMGRID公司;Globus工具包;微电网;网格信息软件…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

仿真软件

软件作者:国家仪器公司
参考文献: 48种出版物(2004-2022)
相关软件: Matlab语言;分数阶混沌系统;美国有线电视新闻网;DFOC;系统功能
主要领域: 常微分方程组(34-XX);动力系统与遍历理论(37-XX);可变形固体力学(74-XX)

状态流

软件作者:MathWorks公司。
参考文献: 41种出版物(1989-2022)
相关软件: Simulink公司;Matlab语言;托勒密;埃斯特雷尔;S-塔利罗;马戏团…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

XMP公司

软件作者:罗伊·E·马斯滕
参考文献: 46种出版物(1982-2002)
相关软件: AIMMS公司;振幅;米诺斯;PyPI公司;蟒蛇;近地天体…
主要领域: 凸与离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)

如果-2.0

软件作者:波兹加,马吕斯;格拉夫,苏珊娜;莫尼尔,劳伦特
参考文献: 37种出版物(2002-2017)
相关软件: 乌帕;克洛诺斯;旋转;海因奇;CADP;CMC…
主要领域: 一般性和全局性主题;收款(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

TALx86

软件作者:Greg Morrisett、Karl Crary、Neal Glew、Dan Grossman、Richard Samuels、Frederick Smith、David Walker、Stephanie Weirich、Steve Zdancewic
参考文献: 40种出版物(1998-2019)
相关软件: 成本;毫升;哈斯克尔;TIL公司;OCaml公司;天哪…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

雅普序言

软件作者:维托·桑托斯·科斯塔、路易斯·达马斯、罗格·里奥·赖斯、Rúben Azevedo
参考文献: 43种出版物(1999-2020)
相关软件: XSB公司;ProbLog;B-序言;SWI序言;亚历夫;西斯库斯…
主要领域: 一般性和全局性主题;收款(00-XX);统计学(62-XX);计算机科学(68-XX)

GHC公司

软件作者:上田,Kazunori
参考文献: 36种出版物(1986-2014)
相关软件: 帕洛格;基马;哈斯克尔;伦塔尔;埃斯特雷尔;杰纳斯…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

曼萨特

软件作者:哈马迪,优素福;胡说八道,说;赛斯,拉赫达尔
参考文献: 37种出版物(2005-2021年)
相关软件: 底座;糠;迷你卫星;徘徊;重建;佐藤…
主要领域: 计算机科学(68-XX);统计力学,物质结构(82-XX);运筹学,数学规划(90-XX)

数学

软件作者:乔里斯·范德霍文、格雷戈尔·勒克尔夫、伯纳德·穆拉因
参考文献: 41种出版物(2006-2021年)
相关软件: gmp;枫树;克罗内克;圣哲数学;打火石;MPFR…
主要领域: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)

系统C

软件作者:布莱克,大卫·C。;多诺万,杰克。
参考文献: 29种出版物(2002-2017)
相关软件: 皮纳帕;甘美;奎托斯;埃斯特雷尔;veriSoft公司;CBMC…
主要领域: 序,格,有序代数结构(06-XX);计算机科学(68-XX);光学,电磁理论(78-XX)

区域设置

软件作者:巴拉林,克莱门斯
参考文献: 41种出版物(1999-2021)
相关软件: 伊莎贝尔/霍尔;伊莎贝尔;霍尔;归档正式证据;成本;大锤…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

只读存储器

软件作者:Haidvogel,哥伦比亚特区。;阿兰戈,H。;W.P.Budgell公司。;科努埃尔,不列颠哥伦比亚省。;柯奇瑟,E。;迪洛伦佐,E。;茴香,K。;盖尔,W.R。;赫尔曼,A.J。;拉内罗勒,L。;莱文,J。;麦克威廉姆斯,J.C。;米勒,A.J。;摩尔,A.M。;鲍威尔,T.M。;什切佩特金,A.F。;舍伍德,哥伦比亚特区。;西尼尔,R.P。;华纳,J.C。;威尔金,J。
参考文献: 39种出版物(2008-2022)
相关软件: EnKF公司;海洋保护区;迈克;天鹅;Exshall公司;库达…
主要领域: 偏微分方程组(35-XX);统计学(62-XX);数值分析(65-XX)

上尉

软件作者:彼得·杨
参考文献: 35种出版物(2006-2022)
相关软件: Matlab语言;康塞德;系统识别工具箱;盖章;生态环境;SSpace…
主要领域: 统计学(62-XX);数值分析(65-XX);粒子与系统力学(70-XX)

大流量

软件作者:鲁德尼克,R。
参考文献: 37种出版物(2000-2017)
相关软件: 头;花;斯帕拉特·奥尔马拉斯;阿多-C;阿曼达;子段落…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

摩泽尔

软件作者:公平艾萨克公司;科伦巴尼,海普克S。
参考文献: 37种出版物(2003-2021年)
相关软件: “随心换”(XPRESS);振幅;伽马;AIMMS公司;林多;CPLEX…
主要领域: 一般性和全局性主题;收款(00-XX);序,格,有序代数结构(06-XX);数值分析(65-XX)

Java CoG套件

软件作者:冯·拉泽夫斯基,格雷戈;加沃,雅瑞克;莱恩,彼得;雷恩,内尔;拉塞尔,迈克
参考文献: 12种出版物(2001-2010)
相关软件: Globus工具包;飞马座;秃鹰-G;酒馆;阿斯卡隆;仙人掌…
主要领域: 计算机科学(68-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)

MR和LTV合成工具

软件作者:皮里,卡罗尔;杜勒鲁德,盖尔E。
参考文献: 35种出版物(1999-2021)
相关软件: 亚尔米普;沉香;LMI工具箱;宿便;Matlab语言;莫塞克…
主要领域: 常微分方程组(34-XX);动力系统与遍历理论(37-XX);运筹学,数学规划(90-XX)

沃夫兰

软件作者:韦贝克,埃里克;范德阿尔斯特,Wil M.P。
参考文献: 34种出版物(1999-2017)
相关软件: PNML;呵欠;WSAT;XRL/花朵;旋转;图元图…
主要领域: 一般性和全局性主题;收款(00-XX);组合数学(05-XX);计算机科学(68-XX)

复合库

软件作者:莱布弗里茨F
参考文献: 34种出版物(2006-2022)
相关软件: 完成;喜福;佩农;亚尔米普;彭氏指数;CVX…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

克索尔夫

软件作者:朝阳;胡安·C·梅扎;李墉;王林旺
参考文献: 35种出版物(2009-2022)
相关软件: Loppcg.m公司;BLOPEX公司;章鱼;SparseMatrix公司;JDQZ公司;Matlab…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);量子理论(81-XX)

RMetrics公司

软件作者:Rmetrics协会
参考文献: 32种出版物(2008-2022)
相关软件: R;F拱;FBASIC;t系列;动物园;马厩医生…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

CCSTM公司

软件作者:N。G、 布朗森,H.Cha。,K、 奥卢科图
参考文献: 34种出版物(2010年)
相关软件:
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

欧西里斯

软件作者:R.A.丰塞卡。;洛杉矶西尔瓦。;Tsung,F.S。;德克克,V.K。;卢,W。;任,C。;莫里,W.B。;邓,S。;李,S。;卡索利斯,T。;亚当,J.C。
参考文献: 33种出版物(2002-2022)
相关软件: 快速反应;沃帕尔;PSC;爱玛国际学院;哎哟;MPI…
主要领域: 数值分析(65-XX);流体力学(76-XX);光学,电磁理论(78-XX)

熊猫

软件作者:布什内尔,大卫
参考文献: 32种出版物(1983-2010)
相关软件: 博索5号;维康诺特;康明;阿巴克斯;特里克;法索…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

短讯服务

软件作者:科雷克,乔èe
参考文献: 33种出版物(1997-2022)
相关软件: 数学;醋原;AceFEM;手指;Matlab语言;阿巴克斯…
主要领域: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

防抱死制动系统

软件作者:约翰森E.B.,Hähnle,R.,Schafer,J.,Schlatte,R.,Steffen,M。
参考文献: 29种出版物(2012-2022)
相关软件: JCobox公司;中美合作所;二郎;克里奥尔;成本塔布;速度…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

日本星

软件作者:DiStefano,D.,帕金森,M。
参考文献: 29种出版物(2008-2017)
相关软件: 小脚;VeriFast公司;成本;布吉;规格;ESC/Java…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

奥德赛

软件作者:罗斯坦,N.,达尔马斯,S.,加利戈,A
参考文献: 32种出版物(1996-2016)
相关软件: 阿迪弗;TAMC公司;阿多-C;ADIC;塔夫;MINPACK-2…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

Ott公司

软件作者:西厄尔,彼得;纳尔德利,弗朗西斯科·扎帕;欧文斯,斯科特;佩斯金,吉尔;里奇,托马斯;萨卡,苏米特;韩国斯特尼沙
参考文献: 31种出版物(2007-2021年)
相关软件: 成本;伊莎贝尔/霍尔;名义上的伊莎贝尔;伊莎贝尔;二层;霍尔…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

发电机

软件作者:德卡迪亚,G。;哈斯托伦,D。;詹帕尼,M。;卡库拉帕蒂,G。;拉克什曼,A。;皮尔钦,A。;西瓦苏布拉曼尼亚州。;沃斯霍尔,P。;沃格尔,W。
参考文献: 16种出版物(2011-2022)
相关软件: 卡桑德拉;和弦;大表;MapReduce;天狼星;冥王星…
主要领域: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

KQML公司

软件作者:蒂姆·菲宁,理查德·弗里茨森,唐纳德·P·麦凯,罗宾·麦克尔
参考文献: 15种出版物(1996-2016)
相关软件: 神童;Globus工具包;曲序;OMDoc公司;OMRS;表格…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

Wordstar公司

软件作者:微处理机
参考文献: 出版1期(2019年)
相关软件: 文字;得到;麦克西马;减少;公理;多平面…
主要领域: 计算机科学(68-XX);数学教育(97-XX)

穆乔科

软件作者:E。托多罗夫,T.埃雷斯,Y.塔萨
参考文献: 23种出版物(2016-2022)
相关软件: 开放式健身房;张量流;亚当;Pythorch公司;github;蟒蛇…
主要领域: 计算机科学(68-XX);粒子与系统力学(70-XX);运筹学,数学规划(90-XX)

平民

软件作者:范德维尔德·布雷克
参考文献: 26种出版物(1994-2014)
相关软件: NeuroGaz公司;github;伏提辛;达莫西亚-西姆;达莫西亚设计
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

EULAG公司

软件作者:斯莫拉基维奇,皮奥特K。;沙曼,罗伯特;威尔,杰弗里;佩里,史蒂芬G。;抢劫,大卫;鲍克,乔治
参考文献: 29种出版物(2007-2021年)
相关软件: MPDATA公司;尼卡姆;libmpdata++;HE-E1GODF;查姆普;斯帕拉特·奥尔马拉斯…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);流体力学(76-XX)

昆士兰MINRES

软件作者:崔秀成。;桑德斯,迈克尔A。
参考文献: 26种出版物(2011-2022)
相关软件: 米尔斯;SparseMatrix公司;LSQR;LSMR;Matlab语言;ARPACK…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);整体分析,流形分析(58-XX);数值分析(65-XX)

Cadence SMV公司

软件作者:麦克米兰K L。
参考文献: 22种出版物(2000-2018)
相关软件: 努西姆;旋转;斑点;LTL2BA;可见光;塞萨尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

洛拉

软件作者:施密特,卡斯滕;沃尔夫,K。
参考文献: 25种出版物(2000-2021)
相关软件: 玛丽亚;旋转;BPEL2PN;中等程度;乌帕;食蚁兽…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

手指

软件作者:王,保罗S。
参考文献: 26种出版物(1986-2021)
相关软件: 数学;减少;麦克西马;龙胆;ELLPACK公司;短信…
主要领域: 常微分方程组(34-XX);数值分析(65-XX);计算机科学(68-XX)

作记号

软件作者:白GC,伯纳姆KP
参考文献: 22种出版物(2002-2022)
相关软件: 程序标记;R;尾段;美洲豹;R标志;M-浪涌…
主要领域: 统计学(62-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

MPTP公司

软件作者:城市,约瑟夫
参考文献: 26种出版物(2003-2021)
相关软件: 后桅;定理证明器;马拉雷亚;吸血鬼;MPTP 0.2;嗯…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

大表

软件作者:张辉;迪恩,杰弗里;格马沃特,桑杰;谢伟森C。;沃勒克,黛博拉A。;伯罗斯,迈克;钱德拉,图萨;菲克斯,安德鲁;格鲁伯,罗伯特E
参考文献: 14种出版物(2010-2019)
相关软件: MapReduce;发电机;卡桑德拉;Hadoop;和弦;MongoDB…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

卡桑德拉

软件作者:拉克什曼,A.,马利克,P。
参考文献: 19种出版物(2012-2021)
相关软件: 发电机;大表;蒙哥大;库奇达;MySQL;Hadoop…
主要领域: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

MuPAD组合

软件作者:德斯库恩斯,弗朗索瓦
参考文献: 24种出版物(2004-2019)
相关软件: MuPAD;OEIS;圣哲数学;数学;枫树;蟒蛇…
主要领域: 组合数学(05-XX);结合环与代数(16-XX);非关联环与代数(17-XX)

繁荣

软件作者:丹尼斯,路易丝A。;柯林斯,格雷厄姆;诺里斯,迈克尔;博尔顿,理查德;斯林,康拉德;罗宾逊,格雷厄姆;戈登,迈克;梅勒姆,汤姆
参考文献: 23种出版物(2000-2009)
相关软件: PVS公司;OMRS;甘道夫;霍尔;枫树;毫升…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

SACLIB公司

软件作者:大卫·G·理查森:沃纳·克兰迪克
参考文献: 23种出版物(1993-2009)
相关软件: QEPCAD公司;枫树;狐狸盒;减少;红皮书;伊莱米诺…
主要领域: 数理逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)

玻璃器皿

软件作者:斯里尼瓦斯,Y.,朱利格,R。;沃尔迪格,R。
参考文献: 25种出版物(1998-2019)
相关软件: PVS公司;Nuprl公司;CASL公司;莫德;伊莎贝尔;TPS…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

德帕克

软件作者:三叶草,L.F。;瓦茨,H.A。
参考文献: 24种出版物(1983-2000)
相关软件: 德沃克;传真;奥德帕克;RKF45;标准试验;NSDTST…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);变分法与最优控制;优化(49-XX)

普布拉斯

软件作者:达姆布拉,帕斯卡;迪塞拉菲诺,丹妮拉;菲利普斯,萨尔瓦托
参考文献: 23种出版物(2000-2021)
相关软件: MLD2P4;2LEV-D2P4;Trilinos公司;PETSc公司;UMF包;MPI…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程组(35-XX);数值分析(65-XX)

罗塞塔

软件作者:Øhrn,亚历山德;科莫罗夫斯基,一月;斯考伦,安德泽伊;西纳克,皮奥特
参考文献: 20种出版物(1998-2021)
相关软件: UCI毫升;LER;资源共享系统;资源库;韦卡;C4.5…
主要领域: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

拓扑图

软件作者:塔瓦科利,鲁霍拉
参考文献: 23种出版物(2014-2022)
相关软件: 顶部.m;Matlab语言;最高88.m;佩蒂加;PETSc公司;PolyTop…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

中情局

软件作者:纽布吕泽,J。;帕林斯,H。;普莱斯肯,W。
参考文献: 22种出版物(1984-2020)
相关软件: 差距;图集群表示法;岩浆;凯利;枫树;肉斧…
主要领域: 数论(11-XX);场论与多项式(12-XX);群论与概化(20-XX)