奶牛 46篇文献引用(2007–2020) 软件作者: 亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 相关软件: 自旋蛋白;CC-Pi;PiDuce… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
悬崖数学 23篇文献引用(2012–2021) 软件作者: 雷内·斯科特;斯泰普斯(G.Stacey Staples) 相关软件: CliffOC;CliffSymNil;数学… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
克里夫OC 20篇文献引用(2006年至2021年) 软件作者: 雷内·斯科特;斯泰普斯(G.Stacey Staples) 相关软件: CliffMath;CliffSymNil;数学… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX)…
猪肉 15篇文献引用(2011–2023) 软件作者: 玛丽贝尔·费尔南德斯;赫莱内·基什内尔 相关软件: AGG;沟槽;ELAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
元游戏 9份文件引用(1991–2009) 软件作者: 马库斯·穆勒·奥尔姆(Markus Müller-Olm)、海森柳(Haiseung Yoo) 相关软件: 自旋蛋白;GDL;jETI公司 主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
特征CFA 3份文件引用(2011–2012) 软件作者: 塔伦·帕布;Shreyas Ramalingam;马修,可能;霍尔,玛丽 相关软件: PETSc;CUDA;THORS… 主要字段: 计算机科学(68-XX)
杰克洛伊 1份文件引用(2012) 软件作者: Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件: 雅典娜;凯洛伊;KeY… 主要字段: 计算机科学(68-XX)
极性等级 1份文件引用(2016) 软件作者: 克鲁兹,F.L。;Vallejo,C.G。;Enríquez,F。;Troyano,J.A。 相关软件: SibRank;护理;PathRank… 主要字段: 统计学(62-XX);计算机科学(68-XX)
冒险理论 1份文件引用(2017) 软件作者: 乔伊纳(W.David Joyner);梅勒斯,卡罗琳·格兰特 相关软件: SageMath;github 主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;信息与通信理论,电路(94-XX)
阿那戈波斯 1份文件引用(2011) 软件作者: Bugge Grathwohl,尼尔斯·比约恩;杰罗·凯特马(Jeroen Ketema);帕莱森、延斯·杜伦德;雅各布·格鲁·西蒙森 相关软件: TILC;郁金香;格拉夫维兹 主要字段: 计算机科学(68-XX)