减少 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)…
精确KS2SidedOneSample 3份文件引用(2016–2023) 软件作者: J.Brown;米尔顿·哈维 相关软件: KS1侧面一个样本;k.c;设置测试… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
终结者 4份文件引用(2013–2022) 软件作者: 徐明;李志斌 相关软件: LoAT;停机坪;GitHub… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);动力系统和遍历理论(37-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)
计算机视觉系统工具箱 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)
派克靴 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)