×

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

奶牛

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份文件引用(2009)
软件作者: 德克·拜尔、安德烈亚斯·诺亚克、克劳斯·勒伦茨
相关软件: Qscope;PQL;CodeQuest…
主要字段: 计算机科学(68-XX)

杜斯研究

在0个文档中引用
软件作者: Santtu Tikka、Antti Hyttinen、Juha Karvanen
相关软件: 因果关系;达吉蒂;DoWhy…
主要字段:

杰克洛伊

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)

cfid公司

在0个文档中引用
软件作者: 桑图·提卡
相关软件: WhatIF;剂量研究;因果关系…
主要字段:

EDNF公司

1份文件引用(1994)
软件作者: Ali A.Khan。;Al-A'Ali,Mansoor;Nigat R.阿拉姆。
相关软件:
主要字段: 计算机科学(68-XX)

流体数学

在0个文档中引用
软件作者: 玛丽亚·埃尔南德斯。;尼尔斯·阿贝尔
相关软件:
主要字段:

函数绘图器

在0个文档中引用
软件作者: kSoft公司的Keith Hertzer。
相关软件:
主要字段:

高级图示器

在0个文档中引用
软件作者: Alentum软件有限公司。
相关软件:
主要字段:

截止日期

在0个文档中引用
软件作者: 艾诺特·亚历克斯
相关软件:
主要字段:

查找图表

在0个文档中引用
软件作者:
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件