减少 738份文件引用(1970–2023) 软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆 相关软件: 枫树;Mathematica;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
可可 680份文件引用(1989–2024) 软件作者: CoCoa-Team;洛伦佐·罗比亚诺 相关软件: 麦考利2号;单一;CoCoALib… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
国际实验室 508份文件引用(1999–2024) 软件作者: 齐格弗里德·M·臀部。 相关软件: Matlab;mctoolbox;C-XSC 2.0… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
运营质量 499份文件引用(2004–2024) 软件作者: 沃尔特·高茨基 相关软件: Matlab;DLMF;正交多项式… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…
MersenneTwister公司 351篇文献引用(1998–2023) 软件作者: 松本诚;西村、高治 相关软件: 测试U01;R;死亡… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
差异矩阵套件 275份文件引用(2000–2023) 软件作者: 魏德曼,J.A.C。;南卡罗来纳州雷迪 相关软件: Matlab;切布冯;Eigtool… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
NTL公司 242份文件中引用(1998–2023) 软件作者: 维克托·舒普 相关软件: gmp;岩浆;GitHub… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
隔离 237篇文献引用(1999–2024) 软件作者: Fabrice的Rouillier;保罗·齐默尔曼 相关软件: 克罗内克;FGb;枫树… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
Normaliz公司 210份文件引用(1998–2024) 软件作者: Winfried Bruns、Bogdan Ichim、Tim Römer、Christof Söger 相关软件: 麦考利2号;4ti2;聚乙烯… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
马克西玛 171篇文献引用(1998–2024) 软件作者: 威廉·谢尔特 相关软件: Mathematica;SageMath;枫树… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-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)…
MultRoot(多根) 105篇文献引用(2003–2023) 软件作者: 郑中刚 相关软件: Matlab;PHCpack;GPGCD… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
复数 99篇文献引用(2003–2024) 软件作者: 列万多夫斯基,维克多;Hans Schönemann;Motsak、Olexander;格特·马丁·格雷尔 相关软件: 单一;麦考利2号;OreModules… 主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…
hp-车辆识别号 90篇文献引用(2020–2024) 软件作者: Ehsan Kharazmi;张忠强;乔治·E·M·卡尼亚达基斯。 相关软件: 亚当;DGM;DiffSharp… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
坦索拉布 87份文件引用(2013–2023) 软件作者: L.Sorber、M.Van Barel、L.De Lathauwer 相关软件: 张量工具箱;Matlab;算法862… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
阿伯 81篇文献引用(2015–2024) 软件作者: 弗雷德里克·约翰逊 相关软件: DLMF;SageMath;PARI/GP… 主要字段: 数论(11-XX);特殊功能(33-XX);偏微分方程(35-XX)…
阿兹特克 84份文件引用(1997–2022) 软件作者: R.S.Tuminaro、M.Herous、S.A.Hutchinson、J.N.Shadid 相关软件: 阿兹特克OO;PETSc;特里利诺斯… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
奥特波尔 81篇文献引用(1993–2023) 软件作者: 沃尔特·高茨基 相关软件: 操作q;Matlab;正交多项式… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…
索波尔.cc 83份文件引用(2003–2023) 软件作者: Stephen Joe;Kuo,Frances Y。 相关软件: TOMS659;MersenneTwister;QMC4PDE… 主要字段: 数论(11-XX);概率论与随机过程(60-XX);统计学(62-XX)…
钠20 79份文件引用(2000–2022) 软件作者: 达里奥·安德里亚·比尼;佛罗伦萨,朱塞佩 相关软件: na10;隔离;特征解… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);复变量函数(30-XX)…
正交多项式 73篇文献引用(1997–2024) 软件作者: Cvetković,Aleksandar S。;Milovanović,Gradimir V。 相关软件: OPQ;Mathematica;Matlab… 主要字段: 特殊功能(33-XX);近似和展开(41-XX);欧几里得空间的调和分析(42-XX)…
备用POP 69篇文献引用(2008–2023) 软件作者: Hayato Waki;Sunyoung Kim;小岛正明;村松正男(Masakazu Muramatsu);杉本博司 相关软件: 塞杜米;GloptiPoly公司;SDPT3… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)…
算法829 65篇文献引用(2003–2024) 软件作者: 马尔科·加维亚诺;克瓦索夫,德米特里·E·。;丹尼尔·莱拉(Daniela Lera);亚罗斯拉夫·谢尔盖耶夫。 相关软件: 地方政府官员;Maple的全局优化工具箱;MultiMin… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);光学、电磁理论(78-XX)…
CoCoALib公司 65篇文献引用(2006–2022) 软件作者: 约翰·阿伯特(John Abbott);安娜·比加蒂(Anna M.Bigatti)。 相关软件: 可可;麦考利2号;奇异… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
NCAlgebra大学 58篇文献引用(1994–2023) 软件作者: JW Helton、R Miller、M Stankus 相关软件: Mathematica;NCSO大便;SeDuMi… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX);算子理论(47-XX)…
钠1 56篇文献引用(1991–2023) 软件作者: 布雷津斯基,C。;雷迪沃·扎格利亚,M。;萨多克,H。 相关软件: CGS;na5;BiCGstab… 主要字段: 历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX);近似和展开(41-XX)…
钠10 53篇文献引用(1996–2022) 软件作者: 达里奥·安德里亚·比尼 相关软件: na20;mctoolbox;隔离… 主要字段: 场论与多项式(12-XX);线性代数和多线性代数;矩阵理论(15-XX);复变量函数(30-XX)…
d真实 50篇文献引用(2013–2023) 软件作者: 高思春;孔顺浩;埃德蒙·克拉克(Edmund M.Clarke)。 相关软件: z3;Coq;HOL灯… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
菲亚特 48篇文献引用(1994–2023) 软件作者: 罗伯特·C·柯比。 相关软件: FEniCS;PETSc;海豚… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦 相关软件: 单一;SageMath;岩浆… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…
费马牌手表 47篇文献引用(1997–2022) 软件作者: Robert H.Lewis博士网址:http://www.bway.net/~刘易斯 相关软件: 表格;雷杜泽;基拉… 主要字段: 交换代数(13-XX);常微分方程(34-XX);数值分析(65-XX)…
PolyLib公司 46篇文献引用(1996–2019) 软件作者: Loechner,V。;多兰·王尔德。 相关软件: PPL;高科技;LattE… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
Chebfun2号机组 45篇文献引用(2013–2023) 软件作者: 亚历克斯·汤森;劳埃德·N·特里费琴。 相关软件: 切布冯;Matlab;DLMF… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);近似和展开(41-XX)…
SMRSOFT公司 44篇文献引用(2011–2023) 软件作者: 切西,G。 相关软件: 粪便;塞杜米;YALMIP… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
马塞马吉克斯 42篇文献引用(2006–2021) 软件作者: 乔里斯·范德霍温、格雷戈伊尔·勒塞夫、伯纳德·穆兰 相关软件: gmp;枫树;FLINT… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
旧金山 42篇文献引用(1995–2021) 软件作者: 斯坦布里奇,J 相关软件: 枫树;组织环境信息系统;考克斯计… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
GQRAT公司 36篇文献引用(1993–2021) 软件作者: 沃尔特·高茨基 相关软件: OPQ;奥特波尔;算法882… 主要字段: 近似和展开(41-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…
夸德格语 37篇文献引用(2013–2023) 软件作者: Sven Hammarling;克里斯托弗·蒙罗(Christopher J.Munro),《作者简介》(Author Profile);弗朗索瓦斯·蒂塞尔 相关软件: NLEVP;mctoolbox;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…
斯巴达人 37篇文献引用(2020年-2023年) 软件作者: 斯琳塔·塞蒂 相关软件: 力比奥;马林鱼;GitHub… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
TSSOS公司 引用于33份文件(2020–2024) 软件作者: Jie Wang、Victor Magron、Jean-Bernard Lasserre 相关软件: 莫塞克;GloptiPoly公司;SeDuMi… 主要字段: 场论与多项式(12-XX);代数几何(14-XX);数值分析(65-XX)…
混合音量 31份文件引用(2005–2023) 软件作者: Gao,Tangan;Li,T.Y。;吴梦年 相关软件: PHCpack;DEMiC;HOM4PS… 主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…
波塞冬 32篇文献引用(2020年-2023年) 软件作者: 格拉西,L。;Kales,D。;Khovratovich,D。;罗伊,A。;Rechberger,C。;肖夫内格,M。 相关软件: MiMC公司;github;万岁… 主要字段: 组合数学(05-XX);代数几何(14-XX);计算机科学(68-XX)…
INTBIS公司 31份文件引用(1990–2018) 软件作者: Kearfott,R.Baker;曼努埃尔三世诺沃亚 相关软件: INTLIB;IbexOpt;数值… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
UBASIC公司 28篇文献引用(1988–2006) 软件作者: 克里斯·考德威尔(Chris K.Caldwell)。;Y.基达 相关软件: ecdata;组织环境信息系统;ECPP… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
天秤座 29篇文献引用(2019–2023) 软件作者: 谢天成;张家恒;张玉鹏;Papamanthou、Charalampos;宋,黎明 相关软件: 力比奥;斯巴达人;利盖罗… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
算法840 27篇文献引用(2004–2022) 软件作者: 约翰·P·博伊德。 相关软件: Matlab;DLMF;差异矩阵套件… 主要字段: 特殊功能(33-XX);近似和展开(41-XX);欧氏空间的调和分析(42-XX)…
特征解 26篇文献引用(2002–2024) 软件作者: 《财富》,史蒂文 相关软件: na20;na10;mctoolbox… 主要字段: 组合数学(05-XX);场论与多项式(12-XX);复变量函数(30-XX)…
MOPS公司 27篇文献引用(2006–2022) 软件作者: 爱奥那州杜米特里乌;艾伦·爱德曼(Alan Edelman);吉恩·舒曼 相关软件: 操作q;数据捕获;SRJAC… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);特殊功能(33-XX)…
ore_代数 27篇文献引用(2015–2024) 软件作者: 曼努埃尔·考尔斯;马克西米利安·亚罗斯切克;弗雷德里克·约翰逊 相关软件: SageMath;DLMF;gfun… 主要字段: 组合数学(05-XX);特殊功能(33-XX);数值分析(65-XX)…
切尼-金凯 23篇文献引用(1985–2012) 软件作者: 沃德·切尼(Ward Cheney);大卫·金凯 相关软件: Matlab;伊斯兰教;数学… 主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…
考克塞特 24篇文献引用(1996–2024) 软件作者: CLOUX福克 相关软件: 切维;间隙;CoCoA… 主要字段: 组合数学(05-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…
隔离 25篇文献引用(2005–2023) 软件作者: 塞德尔,雷蒙德;尼古拉·沃尔珀特 相关软件: 隔离;枫树;阿克塞尔… 主要字段: 交换代数(13-XX);代数几何(14-XX);数值分析(65-XX)…
复合式MuPAD 24篇文献引用(2004–2019) 软件作者: 弗朗索瓦·德斯库恩斯 相关软件: MuPAD;组织环境信息系统;SageMath… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);非结合环和代数(17-XX)…
SLRA公司 24篇文献引用(2012–2023) 软件作者: 康斯坦丁·乌塞维奇;伊万·马尔科夫斯基 相关软件: GPGCD;雏菊;SE同步… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
不适用5 24篇文献引用(1992–2002) 软件作者: 布雷津斯基,C。;Redivo Zaglia,M。 相关软件: na1;CGS;BiCGstab… 主要字段: 近似和展开(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…
ROLMIP公司 23篇文献引用(2016–2023) 软件作者: Agulhari,C.M。;奥利维拉,R.C.L.F。;佩雷斯,P.L.D。 相关软件: YALMIP;莫塞克;SeDuMi… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
SYNAPS公司 24篇文献引用(2002–2009) 软件作者: B.Mourrain、J.P.Pavone、Trebuchet博士、E.Tsigaridas 相关软件: 隔离;na10;奇异… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
GBNP公司 23篇文献引用(2004–2021) 软件作者: A.M.Cohen、J.W.Knopper 相关软件: 间隙;伯格曼;奇异… 主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…
MAPC公司 23篇文献引用(1999–2012) 软件作者: J.Keyser、T.Culver、D.Manocha、S.Krishnan。 相关软件: LEDA;CGAL;EXACUS… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);凸和离散几何(52-XX)…
散兵箱 20篇文献引用(1998–2023) 软件作者: 迪亚斯,安吉尔;埃里希·卡尔托芬 相关软件: 枫树;SACLIB;FireFly… 主要字段: 数论(11-XX);交换代数(13-XX);近似和展开(41-XX)…
学习代数变化 20篇文献引用(2018–2023) 软件作者: Paul Breiding;萨拉·加里斯尼克(Sara Kalisnik);Sturmfels,伯尔尼;马德琳·温斯坦 相关软件: 麦考利2号;贝尔蒂尼;第3264册示例… 主要字段: 交换代数(13-XX);代数几何(14-XX);代数拓扑(55-XX)…
行程 引用于19份文件(2002–2022) 软件作者: J.Laskar、M.Gastineau 相关软件: 岩浆;单一;gmp… 主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);数值分析(65-XX)…
混沌间谍 17篇文献引用(2017–2023) 软件作者: Feinberg,J.、Langtangen,H.P。 相关软件: FEniCS;UQLab;海豚… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
欧布利格 18篇文献引用(2003–2021) 软件作者: 巴格拉马,J。;Calvetti,D。;莱切尔 相关软件: ARPACK;JDQZ;JDQR… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
NCSO大便 引用于19份文件(2010–2022) 软件作者: 克里斯蒂扬·卡福塔;克莱普,伊戈尔;Janez Povh;萨宾·伯格多夫(Sabine Burgdorf)。 相关软件: Matlab;NCAlgebra;SeDuMi… 主要字段: 一般代数系统(08-XX);交换代数(13-XX);代数几何(14-XX)…
偏序集 引用于19份文件(1996–2019) 软件作者: 斯坦布里奇,J.R 相关软件: 考克斯仪;SF;OEIS… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
瘦身 引用于19份文件(2006年至2018年) 软件作者: 迈克尔·布里肯斯坦 相关软件: 单一;FGb;麦考利2… 主要字段: 交换代数(13-XX);非结合环与代数(17-XX);计算机科学(68-XX)…
alg曲线 18篇文献引用(2003–2023) 软件作者: van Hoeij,M。;伯纳德·德科宁克(Bernard Deconick);马修·帕特森 相关软件: 枫树;Matlab;SageMath… 主要字段: 代数几何(14-XX);复变量函数(30-XX);几个复变量和分析空间(32-XX)…
Chebpack公司 18篇文献引用(2012–2023) 软件作者: 戴米安·特里夫 相关软件: Matlab;ddesd;切布冯 主要字段: 特殊功能(33-XX);常微分方程(34-XX);偏微分方程(35-XX)…
格罗布纳 17篇文献引用(1991–2019) 软件作者: maplesoft.com网站 相关软件: 枫树;减少;奇异… 主要字段: 交换代数(13-XX);代数几何(14-XX);非结合环和代数(17-XX)…
参数 在16份文件中引用(2011–2022) 软件作者: Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件: 棱镜;PROPhESY公司;风暴… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
PROPhESY公司 17篇文献引用(2015–2022) 软件作者: Dehnert,C.,Junges,S.,Jansen,N.,Corzilius,F.,Volk,M.,Bruintjes,H.,Katoen,J.-P.,Al braháM,E。 相关软件: 棱镜;风暴;参数… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
CPOLY公司 17篇文献引用(1978–2023) 软件作者: 詹金斯硕士;J.F.特劳布 相关软件: copula;ks;连接词… 主要字段: 复变量函数(30-XX);统计学(62-XX);数值分析(65-XX)…
JAS公司 15篇文献引用(2008–2023) 软件作者: 海因茨·克雷德尔 相关软件: 单一;AXIOM;复数… 主要字段: 数论(11-XX);交换代数(13-XX);结合环与代数(16-XX)…
EDRAX公司 在16份文件中引用(2020年-2023年) 软件作者: Chepurnoy,A.,Papamanthou,C.,Zhang,Y 相关软件: github;皮诺奇;vSQL… 主要字段: 计算机科学(68-XX);量子理论(81-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)…
FXT公司 在16份文件中引用(2011–2023) 软件作者: 约格·阿恩特 相关软件: hfloat;组织环境信息系统;PARI/GP… 主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-XX)…
里杰姆 15篇文献引用(1994–2021) 软件作者: R.葡萄牙 相关软件: ATENSOR公司;数学张量;xTensor… 主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…
ZEAL公司 在16份文件中引用(1998–2022) 软件作者: P.Kravanja、M.Van Barel、O.Ragos、M.N.Vrahatis、F.A.Zafiropoulos 相关软件: NLEVP;EZERO公司;科学… 主要字段: 历史与传记(01-XX);复变量函数(30-XX);数值分析(65-XX)…
新Dsc 15篇文献引用(2016–2023) 软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice Rouillier公司;迈克尔·萨格拉洛夫 相关软件: 隔离;集群;仲裁… 主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…
PDE贝尔II 15篇文献引用(2014–2023) 软件作者: Miao,Q.,Wang,Y.H.,Chen,Y.,Yang,Y。 相关软件: 枫树;宝石;希罗塔。最大值… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
投影Noether 15篇文献引用(2000–2019) 软件作者: 马克·朱斯蒂(Marc Giusti);哈格尔,克莱门斯;勒塞夫(Lecerf)、格雷戈里(Grégoire);乔·马尔坎德;布鲁诺·萨维 相关软件: 克罗内克;单一;FGb… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
方庭 15篇文献引用(2006–2020) 软件作者: 科特迪瓦贝尔班;亨利·吉尔伯特;雅克·帕塔林 相关软件: 麦克利埃塞;eSTREAM;ZHFE… 主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…
助推器 在13份文件中引用(2008–2023) 软件作者: R.Oeuvray,M.Bierlaire 相关软件: 轨道;UOBYQA;DFO… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
COPRIN公司 14篇文献引用(2003年至2016年) 软件作者: COPRIN项目 相关软件: 椰子;MersenneTwister;IbexOpt… 主要字段: 差分方程和函数方程(39-XX);数值分析(65-XX);计算机科学(68-XX)…
MPSolve解决方案 14篇文献引用(2003–2018) 软件作者: 比萨大学 相关软件: na20;特征解;C-XSC 2.0… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
ZHFE公司 14篇文献引用(2014–2021) 软件作者: Porras,J.、Baena,J.和Ding,J。 相关软件: 岩浆;方庭;闪烁… 主要字段: 数论(11-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)
巴维诺克 12份文件引用(2007–2017) 软件作者: Verdoolaege S;英里亚 相关软件: LattE;多品牌;cdd… 主要字段: 组合数学(05-XX);数论(11-XX);凸和离散几何(52-XX)…
英国石油协会 10篇文献引用(2010–2023) 软件作者: 陈昌波、法南·曼苏里、马克·莫雷诺·马扎、谢宁、谢玉珍 相关软件: 岩浆;打火石;正则链… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
BPOLY公司 在13份文件中引用(2001–2019) 软件作者: 蔡一峰;Rida T.Farouoki。 相关软件: MultRoot;Matlab;咕噜… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
MaTRU公司 在13份文件中引用(2005–2022) 软件作者: Michael Coglianese;Bok-Min戈伊 相关软件: NTRU;BCTRU;HXDTRU… 主要字段: 数论(11-XX);交换代数(13-XX);结合环与代数(16-XX)…
GPGCD公司 12份文件引用(2009–2023) 软件作者: 泰瑞,阿基拉 相关软件: MultRoot;SLRA;ApaTools… 主要字段: 数论(11-XX);场论与多项式(12-XX);数值分析(65-XX)…
马洪群岛统计 12份文件引用(2011–2020) 软件作者: 坎菲尔德,E.罗德尼;斯万特·简森;多龙·泽尔伯格 相关软件: 查找统计信息;SageMath;F12345… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
PyCox公司 11份文件引用(2012–2020) 软件作者: 梅诺夫·盖克 相关软件: 切维;间隙;SageMath… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);非结合环和代数(17-XX)…
狂想曲 12份文件引用(2008–2020) 软件作者: Charpentier,I。;尤特克,J。 相关软件: ADOL-C;舒适的;AD01… 主要字段: 特殊功能(33-XX);数值分析(65-XX);计算机科学(68-XX)…
Rk选项 11份文件引用(2015–2022) 软件作者: 凯奇森,D.I.,帕萨尼,M.,艾哈迈迪亚,A.J。 相关软件: github;NodePy;RODAS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…