生命周期管理 30篇文献引用(2009–2022) 软件作者: 武木友野、浅井达也、内田裕三、有村弘子 相关软件: UCI-ml;gSpan;C4.5… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);统计学(62-XX)…
多项式工具箱 35篇文献引用(2001–2023) 软件作者: 数学作业 相关软件: PENBMI;Matlab;SeDuMi… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
R-最大 35篇文献引用(2002–2021) 软件作者: 罗恩·布拉夫曼(Ronen I.Brafman)。;莫舍·坦尼霍尔茨 相关软件: 令人惊叹的;AlexNet;ImageNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
ProbView(探测视图) 11份文件引用(2005–2018) 软件作者: Lakshmanan,V.S.、Leone,N.、Ross,R.和Subrahmanian,V.S。 相关软件: 三重奏;ProTDB;MYSTIQ… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
测试 19份文件引用(2003–2020) 软件作者: A.N.特拉特曼。 相关软件: 语言;COMPAS;Yices… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…
CPOLY公司 17篇文献引用(1978–2023) 软件作者: 詹金斯硕士;J.F.特劳布 相关软件: 交配;ks;连接词… 主要字段: 复变量函数(30-XX);统计学(62-XX);数值分析(65-XX)…
Sheppack公司 16篇文献引用(2010–2021) 软件作者: 威廉·萨克(William I.Thacker);张静伟;莱恩·T·沃森;杰弗里·伯奇(Jeffrey B.Birch);曼朱拉·艾耶;迈克尔·W·贝里 相关软件: Matlab;算法792;QSHEP3D… 主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…
投影Noether 15篇文献引用(2000–2019) 软件作者: 马克·朱斯蒂(Marc Giusti);Hägele,克莱门斯;勒塞夫(Lecerf)、格雷戈里(Grégoire);乔·马尔坎德;布鲁诺·萨维 相关软件: 克罗内克;单一;FGb… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
GALATICS公司 13份文件引用(2020年至2024年) 软件作者: G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件: BLISS;事实真相;齐古拉… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
微分代数 11份文件引用(2010–2021) 软件作者: 弗朗索瓦·布利埃;弗朗索瓦·勒梅尔 相关软件: 枫树;DIFFALG公司;差异托马斯… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);偏微分方程(35-XX)…
奥科蒂洛 10篇文献引用(2000–2016) 软件作者: Goldman,Deborah;Istrail,Sorin;朱塞佩·兰西亚;安东尼奥·皮科波尼;布莱恩·瓦伦茨 相关软件: – 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
甘尼思 引用于9份文件(1990–1997) 软件作者: Chanderjit Bajaj;安德鲁·罗亚帕 相关软件: 家;EISPACK;LAPACK… 主要字段: 代数几何(14-XX);实函数(26-XX);近似和展开(41-XX)…
信标 8份文件引用(2016–2022) 软件作者: Arif,M.Fareed;卡洛斯·门西娅(Carlos Mencía);阿列克谢·伊格纳提耶夫(Alexey Ignatiev);诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 相关软件: HgMUS;ELK;EL2MCS… 主要字段: 计算机科学(68-XX)
SeLoger公司 7份文件引用(2015–2018) 软件作者: Haase,C。;Ishtiaq,S。;Ouaknine,J。;帕金森,M.J。 相关软件: 幻灯片;推断;小脚… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
倾斜 8份文件引用(1999–2015) 软件作者: 费雷雷斯·G,比安尼克·J·M。 相关软件: Mu分析与合成工具箱;LMI工具箱;LFR-toolbox… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);差分方程和函数方程(39-XX);系统论;对照(93-XX)
MIXMAX公司 6篇文献引用(2015–2020) 软件作者: 康斯坦丁·G·萨维迪。 相关软件: 测试U01;MRG32k3a;MersenneTwister… 主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);几何(51-XX)…
RIATA-HGT公司 7份文件引用(2005–2021) 软件作者: 卢艾州纳赫勒;德里克·鲁思;王丽珊 相关软件: PhyloNet;PAUP*;T-REX… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
HapCUT公司 6篇文献引用(2012–2016) 软件作者: Vineet Bafna的Vikas Bansal 相关软件: ReFHap;SpeedHap;Eclat… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
RECAL公司 5份文件引用(1986–2020) 软件作者: 康威,A.E。;新墨西哥州乔治亚纳斯。 相关软件: – 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
标准池-PolyAlgos 5份文件引用(2018–2020) 软件作者: 拉杜·巴尔滕·卢戈詹(Radu Baltean-Lugojan);露丝·米塞纳 相关软件: APOGEE;GloMIQO;GAMS模型… 主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX)
MABSys公司 4份文件引用(2010–2016) 软件作者: 弗朗索瓦·莱梅尔;Ürgüplü,阿斯利 相关软件: 正则链;英迪夫;AIDA… 主要字段: 交换代数(13-XX);实函数(26-XX);常微分方程(34-XX)…
ODEA公司 4份文件引用(2008–2023) 软件作者: 马丁·厄尔里希 相关软件: 古罗比;CPLEX;PlaNet公司 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
btw-ls型 3份文件引用(2021–2023) 软件作者: 弗雷德里克·西蒙德;马格尼恩(Clémence Magnien);马蒂厄·拉塔比 相关软件: TQ;蟒蛇 主要字段: 组合数学(05-XX);计算机科学(68-XX)
深LLL 3份文件引用(2014–2020) 软件作者: Felix Fontein;Michael Schneider;乌尔斯·瓦格纳 相关软件: BKZ;波特兰;NTL… 主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
k-邻居 3份文件引用(2014–2016) 软件作者: Denis D.Mauá。;法比奥·科兹曼。 相关软件: 冰雹探测器;ElemStatLearn(电子状态学习) 主要字段: 统计学(62-XX);计算机科学(68-XX)
路易丝 3份文件引用(2021年至2022年) 软件作者: 南卡罗来纳州Patsantzis、南卡罗来纳州Muggleton。 相关软件: 梅塔戈里;github;GOLEM… 主要字段: 计算机科学(68-XX)
最小HBases.mpl 3份文件引用(2019–2020) 软件作者: 阿米尔·哈希米;马苏梅·贾巴赫特 相关软件: 枫树;mctoolbox软件 主要字段: 交换代数(13-XX);数值分析(65-XX);计算机科学(68-XX)
波特兰 3份文件引用(2014–2020) 软件作者: 费利克斯·方丹;Michael Schneider;乌尔斯·瓦格纳 相关软件: BKZ;DeepLLL;NTL… 主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
阿米巴菌 2份文件引用(2023) 软件作者: 朱可夫,T.A。;萨迪科夫,T.M。 相关软件: 变形虫发生器;多项式变形虫;数学软件 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);计算机科学(68-XX)
翻转剪切 2份文件引用(2011–2013) 软件作者: Brinkmeyer,麦芽;Thasso Griebel;塞巴斯蒂安·B“ocker 相关软件: PAUP*;物理SIC;RAxML… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
米隆加 2份文件引用(2002–2008) 软件作者: 布鲁诺,N。;海因茨,J。;马特拉,G。;Wachenchauzer,R。 相关软件: 投射Noether;克罗内克;隔离… 主要字段: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)
MotifClick(鼠标点击) 1份文件引用(2015) 软件作者: Zhang S、Li S、Niu M、Pham PT、Su Z 相关软件: MAVisto公司;算法97;PAML… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
Qsymm公司 1份文件引用(2022) 软件作者: Daniel Varjas、Tomas O.Rosdahl、Anton R.Akhmerov 相关软件: 结核杆菌;MagneticTB;SpaceGroupIrep… 主要字段: 统计力学,物质结构(82-XX)
萨那 2份文件引用(2018–2020) 软件作者: 尼尔·马马诺,韦恩·海斯 相关软件: 线路;DeepWalk;SecGraph… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
BATLLNN公司 1份文件引用(2022) 软件作者: James Ferlez;Khedr,Haitham;亚瑟·舒克利 相关软件: 马拉博;佩尔格里恩;charm4py… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
壁画 1份文件引用(2017) 软件作者: Dalca AV,Brudno M公司 相关软件: RDP2;PhyloBayes 3;分区查找器… 主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)
克朗 1份文件引用(2023) 软件作者: 卢卡·卡尔德罗尼;卢西亚诺·玛加拉;莫雷诺·马尔佐拉 相关软件: KronFit;Matlab公司 主要字段: 组合数学(05-XX);计算机科学(68-XX)
模块式交换机 1份文件引用(2022) 软件作者: 塞巴斯蒂安·弗莱克(Sebastian Vlaic)、特蕾西亚·康拉德(Theresia Conrad)、克里斯蒂安·托卡斯基-施奈尔(Christian Tokarski-Schnelle)、米卡·古斯塔夫松(Mika Gustafsson)、尤塔·达曼(Uta Dahmen)、莱因哈德· 相关软件: 树突;SigMod;DOMINO… 主要字段: 生物学和其他自然科学(92-XX)
PedKin公司 1份文件引用(2020年) 软件作者: Kirkpatrick B、Ge S、Wang L 相关软件: XIBD;佩迪格;IdCoefs… 主要字段: 生物学和其他自然科学(92-XX)
午睡 1份文件引用(2019) 软件作者: Vachaspati,P.,Warnow,T。 相关软件: MURPAR公司;ASTRID公司;巴基… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
STRUL公司 1份文件引用(2011) 软件作者: 里卡尔·福克伯恩;约翰·Löfberg;汉森、安德斯 相关软件: LMI工具箱;康普莱布;YALMIP… 主要字段: 运筹学、数学规划(90-XX)
对称NMTF 1份文件引用(2022) 软件作者: 韩国赫里巴尔;蒂莫泰吉·Hrga;格雷戈·帕帕;加什佩·佩特林;Janez Povh;普日乌尔吉,娜塔莎;维达武卡西诺维奇 相关软件: TensorFlow;COXPRESdb;QPLIB… 主要字段: 运筹学、数学规划(90-XX)