×

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

语言

41篇文献引用(2000–2023)
软件作者: 卡隆,帕斯卡
相关软件: 测试;AG公司;古伊塔…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

帕多瓦2D

20篇文献引用(2006–2022)
软件作者: 马可·卡利亚里;德马奇,斯特凡诺;阿尔维斯·索玛里瓦;马可·维亚内洛
相关软件: Padua2DM;Matlab;Chebfun…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);近似和展开(41-XX);欧氏空间的调和分析(42-XX)…

测试

19份文件引用(2003年至2020年)
软件作者: A.N.特拉特曼。
相关软件: 语言;COMPAS;Yices…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…

椰油素

14篇文献引用(2003–2016)
软件作者: COPRIN项目
相关软件: 椰子;MersenneTwister;IbexOpt…
主要字段: 差分方程和函数方程(39-XX);数值分析(65-XX);计算机科学(68-XX)…

GNUC公司

14篇文献引用(2013–2022)
软件作者: 丹尼斯·霍夫海因茨(Dennis Hofheinz);大声呼喊,维克多
相关软件: 国防部;隐秘HOL;塔马林…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

PieriMaps公司

9份文件引用(2009–2018)
软件作者: 史蒂文·萨姆。
相关软件: 麦考利2号;舒尔林斯;四点二…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…

信标

8份文件引用(2016–2022)
软件作者: Arif,M.Fareed;卡洛斯·门西娅(Carlos Mencía);阿列克谢·伊格纳提耶夫(Alexey Ignatiev);诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵
相关软件: HgMUS;ELK;EL2MCS…
主要字段: 计算机科学(68-XX)

超2d

8份文件引用(2006–2016)
软件作者: 马可·卡利亚里;马可·维亚内洛(Marco Vianello);德马尔基,斯特凡诺;罗伯托·蒙塔格纳
相关软件: HyperCube;Padua2D;算法792…
主要字段: 近似和展开(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)

EL2MCS公司

5份文件引用(2015–2018)
软件作者: Arif,M.F.,Mencía,C.,Marques-Silva,J。
相关软件: 信标;只是;HgMUS…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

参数GCD

5份文件引用(2018–2023)
软件作者: 卡普尔,迪帕克;鲁、东;迈克尔·莫纳根(Michael Monagan);孙尧;王定康
相关软件: 单一;PGB;差异托马斯…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

PLA-PFGLM.mpl

5份文件引用(2017–2020)
软件作者: Dehghani Darmian,Mahdi;阿米尔·哈希米
相关软件: dpgb;岩浆;grobcov.lib…
主要字段: 交换代数(13-XX);几个复变量与解析空间(32-XX);计算机科学(68-XX)…

MDS公司

引用于3份文件(2016–2018)
软件作者: 阿尔菲尔德,P。
相关软件: ——
主要字段: 近似和展开(41-XX);数值分析(65-XX)

最小HBases.mpl

引用于3份文件(2019–2020)
软件作者: 阿米尔·哈希米;马苏梅·贾巴赫特
相关软件: 枫树;mctoolbox软件
主要字段: 交换代数(13-XX);数值分析(65-XX);计算机科学(68-XX)

布尔运河化

2份文件引用(2022–2023)
软件作者: 迪米特洛娃,埃琳娜;布兰迪林·斯蒂格勒;卡德尔卡,克劳斯;大卫·默鲁加拉
相关软件: 蟒蛇;麦考利2
主要字段: 信息与通信理论,电路(94-XX)

带微分算子的原语分解

2份文件引用(2023)
软件作者: Cid-Ruiz,Yairon;伯恩德·斯图尔姆费尔斯
相关软件: 麦考利2号;Noetherian算子;贝尔蒂尼
主要字段: 交换代数(13-XX);代数几何(14-XX);偏微分方程(35-XX)

ConFuL公司

1份文件引用(2022)
软件作者: 罗斯塔姆·萨贝蒂
相关软件: 单一
主要字段: 数理逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)

立方体.lib

1份文件引用(2016)
软件作者: 杨科·伯姆;Magdalen S.Marais。;范德梅鲁,安德烈·F·。
相关软件: 冲浪;单一
主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)

克里洛夫·阿德

1份文件引用(2022)
软件作者: 克里斯·肖特洛普(Chris Schoutrop);10 Thije Boonkkamp,一月;范·迪克(Jan van Dijk)
相关软件: IDRStab;特征值;COMSOL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

兰加加

1份文件引用(2004)
软件作者: 卡隆,P。
相关软件: 遗嘱;语言
主要字段: 计算机科学(68-XX)

MFD-ILP公司

1份文件引用(2022)
软件作者: Fernando H.C.迪亚斯。;露西娅·威廉姆斯;布伦丹·穆米;亚历山大·托梅斯库一世。
相关软件: HISAT;鲑鱼;古罗比…
主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

开放式CMP

在0个文档中引用
软件作者: 伊丽莎白·朱莉娅·蒙特(Elizabeth Julia Monte)、亚历山德鲁·安德烈·瓦西莱(Alexandru Andrei Vasile)、詹姆斯·洛曼(James Lowman)、纳赛尔·莫赫丁(Nasser Mohieddin
相关软件: NGSolve;驼鹿;Gmsh…
主要字段: ——

Phylonets公司

1份文件引用(2014)
软件作者: 阿尔卡拉、阿德里亚;拉布雷斯,美塞;弗朗西斯科·罗塞洛;巴布亚州鲁兰
相关软件: 蟒蛇
主要字段: 生物学和其他自然科学(92-XX)

中国人民保险股份有限公司

1份文件引用(2023)
软件作者: Vernet,Mathilde;尤恩·皮涅(Yoann Pigné);埃里克·桑拉维尔
相关软件: GraphStream;SNAP(快照)
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

RCDC公司

1份文件引用(2013)
软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。
相关软件: XPath(XPath)
主要字段: 计算机科学(68-XX)

遮阳板

1份文件引用(2001)
软件作者: de Jager,B。;巴恩斯,J。
相关软件: ——
主要字段: 计算机科学(68-XX)

修剪复杂度

在0个文档中引用
软件作者: 马赫鲁德·塞拉菲(Mahrud Sayrafi);迈克·斯蒂尔曼
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段