×

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

高超声速

320篇文献引用(1996–2024)
软件作者: 汤姆·亨廷格(Tom Henzinger)、裴勇浩(Pei-Hin-Ho)和霍华德·旺托伊(Howard Wong-Toi)。
相关软件: Uppaal;PHAVer;克罗诺斯…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

开普勒98

226篇文献引用(2000–2024)
软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;塞缪尔·弗格森。
相关软件: Flyspeck;Isabelle/HOL;HOL灯…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);凸和离散几何(52-XX)…

仙人掌

70篇文献引用(2000–2023)
软件作者: 汤姆·古代尔;艾伦,加布里埃尔;Gerd Lanfermann;Joan Masso;托马斯·雷德克;爱德华·塞德尔(Edward Seidel);约翰·沙尔夫
相关软件: 地毯;爱因斯坦工具包;乔博…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

Valgrind公司

45篇文献引用(2004–2023)
软件作者: Cerion Armour Brown、Jeremy Fitzhardinge、Tom Hughes、Nicholas Nethercote、Paul Mackerras、Dirk Mueller、Julian Seward、Bart Van Assche、Robert Walsch、Josef Weidendorfer
相关软件: ADOL-C;LLVM;Python…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

GENSMAC公司

61篇文献引用(1994–2020)
软件作者: 汤米,M.F。;菲略,A.C。;库米纳托,J.A。;Mangiavacchi,N。;麦基,S。
相关软件: GENSMAC3D;自由流动;流量-3D…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

数据表

13份文件引用(2014–2023)
软件作者: 马特·道尔(Matt Dowle)、阿伦·斯里尼瓦桑(Arun Srinivasan)、扬·戈雷基(Jan Gorecki)、汤姆·肖特(Tom Short)、史蒂夫·利安诺格鲁(Steve Lianoglou)、爱德华·安东尼安
相关软件: R;ggplot2;Rcpp…
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…

信贷风险+

46篇文献引用(2004–2022)
软件作者: 汤姆·王尔德;CSFB公司
相关软件: QRM;R;Python…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

12月第二节

42篇文献引用(2011–2024)
软件作者: J.卡特;索菲亚·博罗卡、古德伦·海因里希、斯蒂芬·扬、史蒂芬·琼斯、马蒂亚斯·科纳、约翰内斯·施伦克、汤姆·齐克
相关软件: 雷杜泽;嘉年华;LiteRed…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);数值分析(65-XX)…

GPT-3级

40篇文献引用(2021–2023)
软件作者: Tom B Brown、Benjamin Mann、Nick Ryder、Melanie Subbiah、Jared Kaplan、Prafulla Dhariwal、Arvind Neelakantan、Pranav Shyam、Girish Sastry、Amanda Askell等。
相关软件: BERT;Tensor2传感器;ImageNet…
主要字段: 代数几何(14-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

相位最大值

39篇文献引用(2018–2023)
软件作者: 汤姆·戈尔茨坦(Tom Goldstein);克里斯托夫·施图德
相关软件: 导缆器流量;相位提升;PhasePack…
主要字段: 统计学(62-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

地毯

31份文件引用(2003–2020)
软件作者: 汤姆·古代尔(Tom Goodale)、加布里埃尔·艾伦(Gabrielle Allen。
相关软件: 仙人掌;爱因斯坦工具包;乔博…
主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…

G流量

24篇文献引用(2017–2023)
软件作者: 亚历山大·德·马修斯(Alexander G.De G.Matthews)。;范德威尔克,马克;汤姆·尼克森;藤井圭介;布库瓦拉斯,亚历克西斯;巴勃罗León-Villagrá;Ghahramani,Zoubin;詹姆斯·亨斯曼
相关软件: TensorFlow;亚当;GPy…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

SUMO公司

28篇文献引用(2010–2023)
软件作者: 根特大学;德克·戈里森(Dirk Gorissen);伊沃·库库特;彼得·德梅斯特;Tom Dhaene;卡雷尔·克朗贝克
相关软件: EGO;ooDACE;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

汤姆

24篇文献引用(2006–2023)
软件作者: 艾米莉·巴拉德;保罗·布劳纳;Radu Kopetz;Pierre-Etienne Moreau;安托万·雷尔斯
相关软件: Stratego;莫德;ASF+SDF…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

子乐章

引用于27份文件(1993–2023)
软件作者: 汤姆·罗恩;布鲁斯·洛维坎普;马克西姆·马尔默
相关软件: mctoolbox;NLopt;TTDock…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

TrueSkill公司

26篇文献引用(2008–2023)
软件作者: 拉尔夫·赫布里奇、汤姆·明卡、托尔·格雷佩尔
相关软件: 特鲁斯基尔;视觉UTA;PRMLT…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

调情

20篇文献引用(2001–2023)
软件作者: Jesper Andersson、Peter Bannister、Christian Beckmann、Timothy Behrens、Michael Chappell、Gwena“elle Doaud、Ivana Drobnjak、David Flitney、Adrian Groves、Saad Jbabdi、Mark Jenkinson、Heidi Johansen-Berg、Duncan Mortimer、Rami Niazy、Tom Nichols、Brian Patenaude、Reza Salimi、Steve Smith、John Vickers、Matthew Webster、Mark Woolrich、Yongyue Zhang
相关软件: FSL;AFNI;打赌…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

繁荣

23篇文献引用(2000年至2009年)
软件作者: 路易斯·丹尼斯(Louise A.Dennis)。;格雷厄姆·柯林斯;迈克尔·诺里什(Michael Norrish);理查德·博尔顿(Richard Boulton);斯林德,康拉德;格雷厄姆·罗宾逊(Graham Robinson);迈克·戈登;汤姆·梅尔姆
相关软件: PVS;OMRS;甘道夫…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

危地马拉

23篇文献引用(2004–2023)
软件作者: Reinald Baart、Tom Boothby、Jasper Cramwinckel、Joe Fields、David Joyner、Robert Miller、Eric Minkes、Erik Roijackers、Lea Ruscio、Cen Tjhai
相关软件: 间隙;岩浆;SageMath…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

时空

5份文件引用(2013–2020)
软件作者: Edzer Pebesma;Benedikt Graeler;汤姆·戈特弗里德;罗伯特·希曼斯
相关软件: R;谷胱甘肽;spBayes…
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)

scikit-fem公司

17篇文献引用(2021–2024)
软件作者: 汤姆·古斯塔夫森;G.D.McBain公司
相关软件: SciPy;蟒蛇;数字标识…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

无症状

13份文件引用(2007–2022)
软件作者: 安迪·哈默林德尔(Andy Hammerlindl);约翰·鲍曼;汤姆·普林斯
相关软件: GiNaC;蟒蛇;MetaPost…
主要字段: 组合数学(05-XX);复变量函数(30-XX);几何(51-XX)…

美国金融服务贸易协会

15篇文献引用(2018–2022)
软件作者: Tom Goldstein、Christoph Studer、Richard Baraniuk
相关软件: SPGL1;R;相位提升…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

r3d格式

16篇文献引用(2015–2023)
软件作者: 德文郡鲍威尔;阿贝尔、汤姆
相关软件: 雷亚尔;VOF工具;REMAP3D…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

梅德弗莱克斯

14篇文献引用(2012–2023)
软件作者: 约翰·斯蒂恩(Johan Steen);汤姆·洛伊斯;Beatrijs Moerkerke;Stijn Vansteelandt;乔里斯·梅斯(Joris Meys);泰斯·兰格
相关软件: SAS;调解;SPSS…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

RSiena公司

在11份文件中引用(2011–2022)
软件作者: 鲁思·里普利、克里斯特·博伊特马尼斯、汤姆·A.B.斯奈德斯
相关软件: statnet;R;图表…
主要字段: 组合数学(05-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

美国国防部

14篇文献引用(1993–2008)
软件作者: 汤姆·卡夫利
相关软件: ElemStatLearn;LOQO;ANFIS公司
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

黑斑羚

14篇文献引用(2019–2024)
软件作者: Lasse Espeholt、Hubert Soyer、Remi Munos、Karen Simonyan、Volodymir Mnih、Tom Ward、Yotam Doron、Vlad Firoiu、Tim Harley、Iain Dunning、Shane Legg、Koray Kavukcuoglu
相关软件: OpenAI健身房;亚当;AlexNet…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

ooDACE公司

12份文件引用(2014–2022)
软件作者: 伊沃·库库特;Tom Dhaene;彼得·德梅斯特
相关软件: EGO;SUMO;DACE…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

阶段包

12份文件引用(2018–2024)
软件作者: 罗汉·钱德拉(Rohan Chandra)、钟子源(Zhiyuan Zhong)、贾斯汀·洪茨(Justin Hontz)、瓦尔·麦卡洛赫(Val McCulloch)、克里斯托夫·斯图德(Christoph Studer)、汤姆·戈尔茨坦
相关软件: 相位提升;导缆器流量;PhaseMax…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

斯普维

8份文件引用(2012–2022)
软件作者: 汤姆·金凯;托尼·奥尔森
相关软件: R;平衡采样;采样…
主要字段: 统计学(62-XX);数值分析(65-XX)

FMI公司

在11份文件中引用(2014–2022)
软件作者: 马丁·阿诺德;克里斯托夫·克劳;汤姆·席尔茨
相关软件: Modelica;CHOPtrey公司;日晷…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

纳莫蒂夫

10篇文献引用(2001–2018)
软件作者: T.J.Macke、D.J.Ecker、R.R.Gutell、D.Gautheret、D.A.Case、R.Sampath
相关软件: 法国复兴信贷银行;佩林戈尔;生物网格…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);量子理论(81-XX)…

卡奈德(Carneades)

9份文件引用(2007–2021)
软件作者: 汤姆·戈登;沃尔顿
相关软件: 钻石;糠;MiniSat…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

FUGUE公司

4份文件引用(2010年至2016年)
软件作者: 史纪业、汤姆·布伦德尔、水口健二
相关软件: GenThreader;MAFFT;双鱼…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

JCI公司

9份文件引用(2020–2023)
软件作者: Joris M.Mooij。;Sara Magliabane;汤姆·克拉森
相关软件: TETRAD公司;pcalg;学习…
主要字段: 组合数学(05-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…

数学中心信息

9份文件引用(2014–2019)
软件作者: 伊恩库、米尼亚;朱可夫斯基(Jucovschi),君士坦丁(Constantin);Michael Kohlhase;汤姆·威辛
相关软件: 毫米波;OMDoc;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

匹诺曹

7份文件引用(2017–2023)
软件作者: 皮耶路易吉·摩纳哥(Pierluigi Monaco)、汤姆·登斯(Tom Theuns)、朱利亚诺·塔夫尼(Giuliano Taffoni)
相关软件: 可乐;CAMB;GADGET…
主要字段: 算子理论(47-XX);统计学(62-XX);光学、电磁理论(78-XX)…

完备性定理

8份文件引用(2014–2018)
软件作者: 詹姆斯·马格森;汤姆·里奇
相关软件: 存档正式证据;Isabelle/HOL;FOL配件…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MAGICC公司

6篇文献引用(2015–2020)
软件作者: 汤姆·威格利;莎拉·拉珀(Sarah Raper);马尔特·迈因斯豪森
相关软件: CONOPT公司;本地化SL;砖…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);流体力学(76-XX)…

MODTRAN公司

5份文件引用(2002–2007)
软件作者: 王,P。;Liu,Karen Y。;Cwik,Tom;格林,罗伯特
相关软件: ENVI;锡林克斯;Handel-C…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

伊特

4份文件引用(2016–2022)
软件作者: Matthew J.Turk、Britton D.Smith、Jeffrey S.Oishi、Stephen Skory、Samuel W.Skillman、Tom Abel、Michael L.Norman
相关软件: 数字Py;蟒蛇;Matplotlib…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

ARGES公司

5份文件引用(2021–2023)
软件作者: 丹尼尔·利蒂姆(Daniel F.Litim)、汤姆·斯特特纳(Tom Steudtner)
相关软件: 萨拉;在TE条件下的PyRRGBeta…
主要字段: 特殊功能(33-XX);代数拓扑(55-XX);计算机科学(68-XX)…

reFLect公司

6篇文献引用(2006年至2018年)
软件作者: 吉姆,格兰迪;Tom Melham;约翰·奥利里
相关软件: 辅酶q;毫升;Agda…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

康考迪亚

6篇文献引用(2001–2006)
软件作者: David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet
相关软件: Aglet;旅行者号;MAWS…
主要字段: 计算机科学(68-XX)

GPflowOpt(通用流程选项)

2份文件引用(2021–2022)
软件作者: 尼古拉斯·克努德(Nicolas Knudde)、约阿希姆·范德赫滕(Joachim van der Herten)、汤姆·达内(Tom Dhane)、伊沃·库库特(Ivo Couckuyt)
相关软件: BoTorch;蟒蛇;TensorFlow…
主要字段: 计算机科学(68-XX)

莱姆

4份文件引用(2011–2021)
软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;格雷,凯瑟琳·E。;汤姆·里奇;彼得·休厄尔
相关软件: Isabelle/HOL;辅酶q;ACL2…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

ppmlhdfe公司

4份文件引用(2021–2023)
软件作者: 塞尔吉奥·科雷亚、保罗·吉马朗斯、汤姆·泽尔金
相关软件: FENmlm;Stata公司;reghdfe…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

TCHR公司

4份文件引用(2008–2019)
软件作者: 汤姆·施里杰弗斯(Tom Schrijvers);Bart Demoen;大卫·沃伦。
相关软件: XSB;炸薯条;SWI-预测…
主要字段: 计算机科学(68-XX);经典热力学,传热(80-XX)

X图

4份文件引用(1996–2017)
软件作者: 苏波伊·苏坦塔维布尔;汤姆·佐藤;布莱恩·史密斯
相关软件: JGraph;迪亚;fca.sty…
主要字段: 微分几何(53-XX);全局分析,流形分析(58-XX);计算机科学(68-XX)…

瑞士法郎

4份文件引用(2002年至2018年)
软件作者: Christian Holzbaur、Tom Schrijvers、Tom Schrijves
相关软件: 哈斯克尔;SCIFF;ACORDA…
主要字段: 计算机科学(68-XX)

深度合成

4份文件引用(2022–2023)
软件作者: Mohammadosein Hasanbeig、Natasha Yogananda Jeppu、Alessandro Abate、Tom Melham、Daniel Kroening
相关软件: 基线;亚当;古罗比…
主要字段: 计算机科学(68-XX)

DL_蒙蒂

2份文件引用(2020–2021)
软件作者: Andrey V.Brukhno、James Grant、Tom L.Underwood、Kevin Stratford、Stephen C.Parker、John A.Purton、Nigel B.Wilding
相关软件: DL_POLY;DL_POLY_3;MDAnalysis…
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX)

5分

4份文件引用(2018–2023)
软件作者: 文森特·路易斯;汤姆·德拉蒙德
相关软件: 五分;SDPT3;SeDuMi…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

尼姆罗德/O

3份文件引用(2000–2008)
软件作者: 大卫·艾布拉姆森;安德鲁·刘易斯;嘿,汤姆
相关软件: MHGrid;近地天体;Globus工具包…
主要字段: 计算机科学(68-XX)

开放式PNM

2份文件引用(2021–2023)
软件作者: 杰夫·戈斯蒂克(Jeff Gostick);马哈茂德雷扎(Mahmoudreza Aghihi);詹姆斯·希尼堡(James Hinebaugh);汤姆·特兰特(Tom Tranter);Michael A.Hoeh。;戴,哈罗德;斯佩莱西,布伦南;穆斯塔法·沙卡维。;艾米·巴兹莱克;阿兰·伯恩斯(Alan Burns);沃纳·莱纳(Werner Lehnert);安德烈亚斯·普茨
相关软件: 视差;孔隙比;scikit-image…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);流体力学(76-XX)…

PDFO公司

3份文件引用(2020–2023)
软件作者: Tom M.Ragonneau;Zaikun Zhang先生
相关软件: 纽乌阿;DFO;libEnsemble…
主要字段: 运筹学、数学规划(90-XX)

维萨德

3份文件引用(2002–2005)
软件作者: William Hibbard、Curtis Rueden、Steve Emmerson、Tom Rink、David Glowacki、Tom Whittaker、Don Murray、David Fulker、John Anderson
相关软件: 林帕克;PETSc;交易.ii…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

波钟

3份文件引用(2012–2019)
软件作者: Tom S.Price、Julie E.Baggs、Anne M.Curtis、Garret A.FitzGerald、John B.Hogenesch
相关软件: fda(R);瓦沃斯;哈菲斯…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);生物学和其他自然科学(92-XX)

佐尔塔

在0个文档中引用
软件作者: Tom Janssen、Rui Abreu、Arjan J.C.van Gemund
相关软件: 苏贝尔;酥脆;pytest…
主要字段:

车身控制模块

1份文件引用(2022)
软件作者: Bram Thijssen、Tjeerd M.H.Dijkstra、Tom Heskes、Lodewyk F.A.Wessels
相关软件: 生物贝叶斯;ABC-SysBio;斯坦…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

CHAD(查德)

3份文件引用(2022–2023)
软件作者: 瓦卡,马提伊斯;汤姆·斯米丁
相关软件: 提灯;效率;Coq…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

HACC公司

2份文件引用(2016–2017)
软件作者: Salman Habib、Adrian Pope、Hal Finkel、Nicholas Frontiere、Katrin Heitmann、David Daniel、Patricia Fasel、Vitali Morozov、George Zagaris、Tom Peterka、Venkatram Vishwanath、Zarija Lukic、Saba Sehrish、Wei-keng Liao
相关软件: GADGET公司;蟒蛇;L-PICOLA…
主要字段: 统计学(62-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

mCSM公司

3份文件引用(2016–2022)
软件作者: Douglas E.V.Pires、David B.Ascher和Tom L.Blundell
相关软件: CliqueTop;开放巴别塔;持久性图像…
主要字段: 代数拓扑(55-XX);流形和细胞复合体(57-XX);统计学(62-XX)…

MedPost公司

1份文件引用(2004)
软件作者: L.Smith;T.Rindflesch;W.J.威尔伯
相关软件: 基因标签;青少年;C4.5…
主要字段: 计算机科学(68-XX)

2017年宠物展

3份文件引用(2009–2023)
软件作者: 路易斯·帕蒂诺;塔希尔·纳瓦兹;汤姆·凯恩;詹姆斯·费里曼
相关软件: 震波;MOT16;HON4D…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

SMGLoM公司

3份文件引用(2014–2022)
软件作者: 德扬·基涅夫;伊恩库、米尼亚;Jucovshi,君士坦丁;安德烈亚·科尔哈斯(Andrea Kohlhase);Michael Kohlhase;奥里波夫,阿克巴;Schefter,Jürgen;沃尔夫拉姆·斯珀伯(Wolfram Sperber);奥拉夫·特施克(Olaf Teschke);汤姆·威辛
相关软件: sTeX;OMDoc;MMT…
主要字段: 计算机科学(68-XX)

蓝精灵

3份文件引用(2021–2023)
软件作者: 汤姆·雷恩肯斯;桑德·德弗里安特(Sander Devriendt);安东尼奥·凯特里安·安东尼奥
相关软件: R;H2O;glmnet…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

干杯

3份文件引用(2006年至2018年)
软件作者: 布莱恩,马丁;汤姆·克里克;玛丽娜·德沃斯;约翰·惠誉
相关软件: Lparse;平滑;扣…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

涡轮-SMT

3份文件引用(2016)
软件作者: Papalexakis,Evangelos E。;汤姆·米切尔(Tom M.Mitchell)。;尼古拉斯·D·西迪罗普洛斯。;克里斯托斯·法洛索斯;塔鲁克达尔,帕塔·普拉蒂姆;布莱恩·墨菲
相关软件: GigaTensor;张量工具箱;PARAFAC…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);计算机科学(68-XX)

经验证的校准仪

3份文件引用(2009–2018)
软件作者: 汤姆·里奇
相关软件: 存档正式证据;Isabelle/HOL;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Zarisk框架

3份文件引用(2021–2023)
软件作者: 穆罕默德·巴拉卡特(Mohamed Barakat)、汤姆·库米切尔(Tom Kuhmichel)、马库斯·兰格·赫格曼(Markus Lange-Hegerman)
相关软件: homalg;CAP;单数…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…

BZ线宽

2份文件引用(2017–2018)
软件作者: Hans L.Bodlaender;汤姆·范德赞登
相关软件: GPGPU树宽度;SMHasher;LibTW…
主要字段: 计算机科学(68-XX)

CPL6

1份文件引用(2016)
软件作者: 安东尼·P·克雷格;罗伯特·雅各布;布莱恩·考夫曼;汤姆·贝特格(Tom Bettge);杰·拉尔森
相关软件: OASIS3;净CDF;HDF…
主要字段: 数值分析(65-XX);地球物理学(86-XX)

DeepMind实验室

1份文件引用(2020)
软件作者: 查尔斯·比蒂(Charles Beattie)、乔尔·兹·雷波(Joel Z.Leibo)、丹尼斯·特普利亚辛(Denis Teplyashin)、汤姆·沃德(Tom Ward)、马库斯·温赖特(Marcus Wainwright)、海因里希·库特勒(Heinrich Küttler)、安德鲁·莱夫兰克(Andrew Lefrancq)、西蒙·格林(Simon Green)、维克特·巴尔德斯(Víctor Valdés)、埃米尔·萨迪克(Amir Sadik)、朱利安·施里特维瑟
相关软件: 埃尔朗;射线;TensorFlow…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Fanosearch公司

2份文件引用(2019)
软件作者: 汤姆·科特斯
相关软件: SageMath;岩浆
主要字段: 代数几何(14-XX);微分几何(53-XX);量子理论(81-XX)

差距Mis

2份文件引用(2015–2023)
软件作者: 卡尔·巴顿;弗洛里(Flouri)、托马夫(Tom'av);伊利奥普洛斯,科斯塔斯·S。;Pissis,Solon P。
相关软件: T-咖啡;BWA;EMBOSS…
主要字段: 一般拓扑(54-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

基尔霍夫-尼采-ex1

2份文件引用(2018–2021)
软件作者: 汤姆·古斯塔夫森(Tom Gustafsson);罗尔夫·斯坦伯格;朱哈·维德曼
相关软件: 基尔霍夫-尼采-ex3;基尔霍夫-尼采-ex2;scikit-fem…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

基尔霍夫-尼采-ex2

2份文件引用(2018–2021)
软件作者: 汤姆·古斯塔夫森(Tom Gustafsson);罗尔夫·斯坦伯格;朱哈·维德曼
相关软件: 基尔霍夫-尼采-ex3;基尔霍夫-尼采-ex1;scikit-fem…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

基尔霍夫-尼采-ex3

2份文件引用(2018–2021)
软件作者: 汤姆·古斯塔夫森(Tom Gustafsson);罗尔夫·斯坦伯格;朱哈·维德曼
相关软件: 基尔霍夫-尼施-ex2;基尔霍夫-尼采-ex1;scikit-fem…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

MinC公司

2份文件引用(2016)
软件作者: 罗宾斯,埃德;安迪·金;汤姆·施里杰弗斯
相关软件: MinX公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

MinX公司

2份文件引用(2016)
软件作者: 罗宾斯,埃德;安迪·金;汤姆·施里杰弗斯
相关软件: MinC公司
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

PyGOM公司

1份文件引用(2022)
软件作者: 埃德温·泰、汤姆·芬尼、伊恩·霍尔、史蒂夫·利奇
相关软件: SymPy公司;APMonitor;RODAS…
主要字段: 生物学和其他自然科学(92-XX)

rec2正交

2份文件引用(2002–2019)
软件作者: Tom Koornwinder;雷内·斯瓦图
相关软件: 反击;枫树;DLMF…
主要字段: 特殊功能(33-XX);常微分方程(34-XX);数值分析(65-XX)

子乐章

在0个文档中引用
软件作者: 亚伦·A·金
相关软件: R;nloptr;foreach…
主要字段:

TOML公司

2份文件引用(2022–2023)
软件作者: 汤姆·普雷斯顿-沃纳
相关软件: SDTrimSP;VTK;2DMAT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

Vandermonde工具

2份文件引用(2013–2021)
软件作者: 汤姆·Bäckström
相关软件:
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);功能分析(46-XX);信息与通信理论,电路(94-XX)

在0个文档中引用
软件作者: Jorge Pinna Puissant;范德斯特雷顿(Van Der Straeten),拉格希尔德(Ragnhild);男人,汤姆
相关软件:
主要字段:

BioImage模型动物园

在0个文档中引用
软件作者: 魏欧阳、费恩·贝滕穆勒、埃斯蒂巴利斯·戈梅斯·德马西卡尔、康斯坦丁·佩普、汤姆·伯克、卡洛斯·加西亚·洛佩斯·德哈罗、克雷格·罗素、卢西亚·莫亚·桑斯、克里斯蒂娜·德拉托雷·古铁雷斯、黛博拉·施密特、多米尼克·库特拉、马克西姆·诺维科夫、马丁·威格特、乌韦·施密特,彼得·班克黑德、纪尧姆·雅克梅特、丹尼尔·萨奇、里卡多·亨利克斯、,Arrate Muñoz-Barrutia、Emma Lundberg、Florian Jug、Anna Kreshuk
相关软件: 零成本DL4Mic;ImJoy;深度图像J…
主要字段:

布尔Q

1份文件引用(2023)
软件作者: 克里斯托弗·克拉克;Lee,Kenton;张明伟;Tom Kwiatkowski;迈克尔·柯林斯;克里斯蒂娜·图塔诺娃
相关软件: ReCoRD;小队;mT5…
主要字段: 计算机科学(68-XX)

CGIST公司

1份文件引用(2018)
软件作者: T.Goldstein;S.Setzer公司
相关软件: ADMM;SpaRSA;l1_ls…
主要字段: 统计学(62-XX);信息与通信理论,电路(94-XX)

集群工具包

在0个文档中引用
软件作者: 汤姆·麦克林托克
相关软件: 数字Py;Matplotlib;天文…
主要字段:

ConCert公司

1份文件引用(2002)
软件作者: Chang,Bor-Yuh Evan;卡尔·克里;玛格丽特·德拉普;罗伯特·哈珀;贾森·利什卡(Jason Liszka);汤姆七世墨菲;弗兰克·芬宁
相关软件: JFlow;Globus工具包
主要字段: 计算机科学(68-XX)

德希玛

在0个文档中引用
软件作者: 阿基奥·谷口;Tom J.L.C.Bakx。;Jochem J.A.Baselmans。;Robert Huiting;Karatsu,Kenichi;努里亚·伦巴特;马图斯·里巴克;Tatsuya Takekoshi;Yoichi Tamura;Akamatsu、Hiroki;斯特凡妮·布拉肯霍夫;胡安·布埃诺;Buijtendorp,Bruno T。;Dabironezare,Shahab O。;做,安妮基;藤井裕久;藤田,Kazuyuki;Matthijs Gouwerok;塞巴斯蒂安·哈内尔;石田聪;顺石井;川贝、龙海;北山,铁通;科诺、科塔罗;Akira Kouchi;Maekawa,Jun;松田庆一;Vignesh Murugesan;顺一县Nakatsubo;大岛,台湾;亚历杭德罗·帕斯夸尔·拉古纳;大卫·J·托恩(David J.Thoen)。;范德沃夫,保罗·P·。;Stephen J.C.Yates。;阿基拉·恩多
相关软件: WebbPSF;窥探;流行音乐…
主要字段:

第三层

在0个文档中引用
软件作者: 雨果·莱杜克斯、菲利普·比尔杰基、巴拉斯·杜凯、卡维沙·库马尔、拉维·彼得斯、詹蒂恩·斯托特、汤姆·指挥官
相关软件: 开放街道地图;安全FME;ArcGIS…
主要字段:

德拉科

在0个文档中引用
软件作者: 汤姆·菲尼根(Tom Finegan);卢·奎利奥;等。
相关软件: FFmpeg;HPTT;特征…
主要字段:

DSC图像计算

在0个文档中引用
软件作者: 汤姆·劳顿
相关软件: Visual Basic
主要字段:

二重唱

1份文件引用(2016)
软件作者: Douglas E.V.Pires、David B.Ascher和Tom L.Blundell
相关软件: 剂量;阿波罗;DBAli工具…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

FCA2VEC公司

1份文件引用(2022)
软件作者: 杜尔施纳贝尔,多米尼克;汤姆·汉尼卡(Tom Hanika);马克西米利安·斯塔比曼
相关软件: Wikibase;PRMLT;Scikit…
主要字段: 计算机科学(68-XX)

最后一个

在0个文档中引用
软件作者: 埃文·哈里森(Ewen Harrison)、汤姆·德雷克(Tom Drake)、里因·奥茨(Riinu Ots)
相关软件: 心理;俱乐部三明治;bayestestR…
主要字段:

筛选结果依据…

全部的 前5名

相关软件