×

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

减少

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

NQTHM公司

149份文件引用(1979–2022)
软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔
相关软件: HOL;ACL2;PVS…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…

Risa/Asir公司

122篇文献引用(1992–2024)
软件作者: 北野正彦、横山和弘、竹岛拓夫、下山竹石、安井广志、,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.org或神户大学。
相关软件: 单一;麦考利2;Kan…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

泰勒

114篇文献引用(2003–2024)
软件作者: 天使乔尔巴;邹茂荣
相关软件: ATOMFT;潮汐;杆…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

PASCAL-XSC公司

99篇文献引用(1991–2022)
软件作者: Klatte,R.、Kulisch,U.、Neaga,M.、Ratz,D.、Ullrich,Ch、Januschke,P.、Ratz,D。
相关软件: C-XSC;C-XSC 2.0;ACRITH-XSC…
主要字段: 近似和展开(41-XX);数值分析(65-XX);计算机科学(68-XX)…

Coq/SS反射

74份文件引用(2008–2021)
软件作者: Microsoft Research-Inria联合中心
相关软件: Coq;Isabelle/HOL;Mizar…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

得到

51篇文献引用(1991年-2023年)
软件作者: 伯恩哈德·库兹勒;沃尔,伯恩哈德;弗兰茨·温克勒
相关软件: 数学;枫树;马西玛…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

凯伊迈拉

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

摄像机校准

22篇文献引用(2002–2022)
软件作者: 布盖J-Y
相关软件: 校准;SIFT;Matlab…
主要字段: 统计学(62-XX);计算机科学(68-XX);流体力学(76-XX)…

利迪亚

51篇文献引用(1995–2021)
软件作者: 英格丽德·贝尔;约翰·布赫曼(Johannes Buchmann);托马斯·帕帕尼科劳
相关软件: NTL;PARI/GP;MAPC…
主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…

费马

引用于47份文件(1997–2022)
软件作者: Robert H.Lewis博士网址:http://www.bway.net/~刘易斯
相关软件: 表格;雷杜泽;基拉…
主要字段: 交换代数(13-XX);常微分方程(34-XX);数值分析(65-XX)…

ACRITH-XSC公司

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

尼莫

引用于33份文件(2017–2024)
软件作者: 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊
相关软件: 赫克;朱莉娅;间隙…
主要字段: 数论(11-XX);代数几何(14-XX);结合环与代数(16-XX)…

赫克

30篇文献引用(2017–2024)
软件作者: 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊
相关软件: 尼莫;朱莉娅;SageMath…
主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…

帕斯卡-SC

27篇文献引用(1984–2016)
软件作者: 鲍伦德(Gerd Bohlender);克里斯蒂安·乌尔里奇;沃尔夫·冯·古登堡,于尔根;路易·B·拉尔。
相关软件: 杰克;枫树;DiffSharp…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

捕捉

30篇文献引用(1999–2019)
软件作者: 奥利弗·古德曼
相关软件: SnapPea;SnapPy;岩浆…
主要字段: \(K\)理论(19-XX);群论与推广(20-XX);微分几何(53-XX)…

马查尔

22篇文献引用(1988–2018)
软件作者: W.J.科迪。
相关软件: EISPACK;SPECFUN公司;算法528…
主要字段: 特殊功能(33-XX);数值分析(65-XX);计算机科学(68-XX)…

Z3str3号机组

13份文件引用(2018–2023)
软件作者: Berzish,M.、Ganesh,V.、Zheng,Y。
相关软件: z3;CVC4;诺恩…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

CholQR公司

18篇文献引用(2015–2023)
软件作者: 山崎一郎;斯坦尼米尔·托莫夫;杰克·东加拉
相关软件: mctoolbox;CholeskyQR2;LBNL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

NGluon公司

17篇文献引用(2011–2020)
软件作者: Badger,S。;比德曼,B。;乌沃,P。
相关软件: CutTools;黑帽;HELAC-1回路…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

英国石油协会

10篇文献引用(2010–2023)
软件作者: Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie
相关软件: 岩浆;打火石;正则链…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

BPOLY公司

13份文件引用(2001–2019)
软件作者: 蔡一峰;Rida T.Farouoki。
相关软件: MultRoot;Matlab;GLEW…
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

DNAD公司

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

希克莫

13份文件引用(2016–2023)
软件作者: 尼尔·霍夫曼;一原、和弘;Masahide Kashiwagi;Hidetoshi Masai;小石、神道;秋藤忠雄(Takayasu,Akitoshi)
相关软件: SnapPy;SnapPea;GitHub…
主要字段: 代数拓扑(55-XX);歧管和细胞复合体(57-XX);整体分析,流形分析(58-XX)…

自动识别

10篇文献引用(2005–2016)
软件作者: 马丁·布克尔;保罗·霍夫兰;克里斯蒂安·温特;海纳·巴赫
相关软件: ADOL-C;ADIC;舒适…
主要字段: 实函数(26-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

CoxIter公司

11份文件引用(2015–2023)
软件作者: R.古列尔梅蒂。
相关软件: 数学;PARI/GP;SageMath公司
主要字段: 数论(11-XX);群论与推广(20-XX);拓扑群,李群(22-XX)…

间隔_ARITHMETIC

9份文件引用(1996–2017)
软件作者: R.Baker Kearfott先生
相关软件: INTLIB;进入PT_90;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);统计学(62-XX)…

INTPAK公司

9份文件引用(1993–2006)
软件作者: 阿曼达·E·康奈尔。;罗伯特·M·科尔利斯(Robert M.Corless)。
相关软件: C-XSC 2.0;枫树;PNM…
主要字段: 积分方程(45-XX);数值分析(65-XX);计算机科学(68-XX)…

ACEMD公司

3份文件引用(2011–2016)
软件作者: Harvey M.、Giupponi G.、De Fabritis G。
相关软件: CUDA;NAMD;琥珀色…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)

比格南

7份文件引用(1993–2019)
软件作者: B.Serpette,J.Vuillemenin,J.C.Hervé
相关软件: Wombit;Why3;MiniSat…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);数值分析(65-XX)…

洛伦兹数据库

7份文件引用(2015–2022)
软件作者: 罗伯托·巴里奥;Angeles Dena;沃里克塔克
相关软件: CAPD;自动;杆…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

贝勒罗芬

6篇文献引用(2017–2023)
软件作者: Nathan Fulton;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽
相关软件: 凯伊迈拉X;凯伊迈拉;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

矿石工具

5份文件引用(2005–2020)
软件作者: Abramov,S.A.,Le,H.Q.,Li,Z
相关软件: 全息函数;olga.lib;复数…
主要字段: 结合环与代数(16-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

MPIR公司

5份文件引用(2012–2018)
软件作者: 布莱恩·格拉德曼(Brian Gladman)、杰森·莫克瑟姆(Jason Moxham)、威廉·哈特(William Hart);等。
相关软件: 打火石;阿伯;MPFR…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

卡利普索

4份文件引用(1997–2009)
软件作者: 乔瓦尼·塞萨里
相关软件:
主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

精确KS2SidedOneSample

3份文件引用(2016–2023)
软件作者: J.Brown;米尔顿·哈维
相关软件: KS1侧面一个样本;k.c;设置测试…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

GAIA公司

4份文件引用(2005–2009)
软件作者: 托尔·多肯
相关软件: 阿克塞尔;倍数
主要字段: 数值分析(65-XX);计算机科学(68-XX)

终结者

4份文件引用(2013–2022)
软件作者: 徐明;李志斌
相关软件: LoAT;停机坪;GitHub…
主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…

CArL公司

3份文件引用(2015–2022)
软件作者: RWTH亚琛大学
相关软件: SMT-RAT;z3;MiniSat…
主要字段: 计算机科学(68-XX)

DSI工具箱

引用于2份文件(2012–2013)
软件作者: 奥尔·E、路德·W、雷伯纳·G、林堡·P
相关软件: Matlab;国际实验室;symrcm…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX)

对数cf

引用于2份文件(2015–2019)
软件作者: 戴丽云、夏碧灿
相关软件: 数学;国际实验室;隔离…
主要字段: 场论与多项式(12-XX);数值分析(65-XX);计算机科学(68-XX)

倍频程间隔

3份文件引用(2018–2023)
软件作者: 奥利弗·海姆利希
相关软件: 国际实验室;摩尔;ValidatedNumerics.jl…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

RangeLab公司

3份文件引用(2018–2021)
软件作者: 马特尔,M。
相关软件: PRECiSA公司;促进;Boost Interval算术…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

修订SCA

3份文件引用(2020–2021)
软件作者: Mahzoon,A.、Große,D.、Drechsler,R。
相关软件: PolyCleaner;GenMul;multgen…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SPC-PM公司

3份文件引用(2018年至2019年)
软件作者: 梅耶,A。;等。
相关软件:
主要字段: 可变形固体力学(74-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

DoCon-A公司

引用于2份文件(2020–2022)
软件作者: S.D.梅什韦利亚尼。
相关软件: 精益;阿格达;Coq…
主要字段: 数论(11-XX);交换代数(13-XX);计算机科学(68-XX)

L1PMA公司

1份文件引用(2016)
软件作者: 德米特里奥,I.C。
相关软件: 快速分拣;SPSS软件
主要字段: 近似和展开(41-XX);数值分析(65-XX);运筹学,数学编程(90-XX)

质量控制模块

引用于2份文件(2018)
软件作者: Lee,Y.H。;哈利勒·哈尼,M。;M.N.马索诺。
相关软件: github;QuIDDPro;qHiPSTER…
主要字段: 数值分析(65-XX);量子理论(81-XX);系统论;控制(93-XX)…

特殊价值

引用于2份文件(2004–2005)
软件作者: 约翰·维夫洛特
相关软件: 国际实验室;全球溶胶;Easyval公司
主要字段: 数学逻辑与基础(03-XX);复变量函数(30-XX);特殊功能(33-XX)…

STABLE(稳定)

引用于2份文件(2014–2018)
软件作者: Pavlenko,E。;韦德勒,M。;斯托菲尔,D。;Kunz,W。;等。
相关软件: 单一;宠物老板;ABC…
主要字段: 交换代数(13-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

vec分解

引用于2份文件(2017–2023)
软件作者: Vincenti,H。;Lobet,M。;Lehe,R。;萨桑卡,R。;维伊,J.-L。
相关软件: MUMPS;斯迈雷;PETSc公司
主要字段: 数值分析(65-XX)

博特鲁

1份文件引用(2021)
软件作者: Abo-Alsood,哈迪尔·哈迪;哈桑·拉希德·亚森
相关软件: OTRU;HXDTRU公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

电路TSAT

1份文件引用(2016)
软件作者: B.纳尔逊、库马尔、T.K.S。
相关软件: NuMVC;Potassco;帝国…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

计算GK

在0个文档中引用
软件作者: 李卓熙
相关软件: 数学软件
主要字段:

计算机视觉系统工具箱

1份文件引用(2015)
软件作者:
相关软件: Matlab;配置卡尔曼滤波器
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

中央控制单元++

1份文件引用(2016)
软件作者: D.D.J.Chandar、J.Sitaraman、D.Mavrilis
相关软件: 坎特拉;内波;PoKiTT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);经典热力学,传热(80-XX)

达尔文

1份文件引用(2008)
软件作者: G.H.Gonnet、M.T.Hallett、C.Korostensky和L.Bernardin
相关软件:
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

FI_LIB(流动注射)

1份文件引用(2005)
软件作者: W.Hofschuster,W.Krämer
相关软件: filib++;剖面/偏差;C-XSC 2.0…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

FoCaL公司

1份文件引用(2009)
软件作者: 里奥布,雷诺
相关软件: OpenAxiom;泽农;C-CoRN…
主要字段: 一般代数系统(08-XX);计算机科学(68-XX)

数学CW

1份文件引用(2017)
软件作者: 尼尔森·H·F·毕比。
相关软件: 测试U01;FNLIB;端口…
主要字段: 数值分析(65-XX)

数学

1份文件引用(2009)
软件作者: 乔治·盖斯林二世
相关软件: 数据包;GAMS;CPLEX…
主要字段: 运筹学、数学规划(90-XX)

最小实现

1份文件引用(2014)
软件作者: 阿杜科夫,V.M。;A.S.法迪瓦。
相关软件: 枫树
主要字段: 系统论;对照(93-XX)

派克靴

1份文件引用(1989)
软件作者: Roch,Jean-Louis作者简介;塞内查德(Senechaud),帕斯卡尔(Pascale);Siebert-Roch,弗朗索瓦;吉尔斯·维拉德
相关软件: 麦考莱2
主要字段: 计算机科学(68-XX)

宠物老板

1份文件引用(2018)
软件作者: 余存溪;亚辛,阿蒂夫;苏天凯;阿兰·米什琴科(Alan Mishchenko);梅西耶·西塞尔斯基
相关软件: ABC;稳定;单一
主要字段: 计算机科学(68-XX)

QPlus(QPlus)

1份文件引用(2011年)
软件作者: 博格达诺娃,G.T。;托多罗夫,T.J。;托多罗夫,V.H。
相关软件: PHP;MySQL;德尔福
主要字段: 信息与通信理论,电路(94-XX)

不稳定的歧管CompactMap

1份文件引用(2017)
软件作者: Mireles-James,J.D。
相关软件: 国际实验室;Matlab公司
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

筛选结果依据…

全部的 前5名

相关软件