酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
杰森 47篇文献引用(1977–2023) 软件作者: 拉斐尔·博迪尼。;胡布纳,乔米·弗雷德;迈克尔·伍尔德里奇 相关软件: AgentSpeak;贾德克斯;2APL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
信号 51篇文献引用(1987–2020) 软件作者: 大卫·诺瓦克;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尼 相关软件: 卢斯特;酯类;托勒密… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
MRST-AD公司 26篇文献引用(2016–2023) 软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B 相关软件: MRST;Matlab;MRST-co2lab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
o克林戈 14篇文献引用(2011–2022) 软件作者: 托尔斯滕·格罗特 相关软件: 克林戈;LARS;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
弗兰 10篇文献引用(1997–2022) 软件作者: 科纳尔·埃利奥特;保罗·哈达克 相关软件: 哈斯克尔;卢斯特;酯类… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…
Yampa公司 9份文件引用(2003–2020) 软件作者: 亨利克·尼尔森(Henrik Nilsson)、安东尼·考特尼(Antony Courtney) 相关软件: 哈斯克尔;酯类;光泽… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
PaGMO公司 5份文件引用(2014–2023) 软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam) 相关软件: PaGMO/PyGMO;SciPy公司;Python… 主要字段: –
糖块 6篇文献引用(2000–2016) 软件作者: 弗雷德里克·布西诺(Frédéric Boussinot);Jean-Ferdy苏西尼 相关软件: 酯类;ULM;YACC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
狂热的 7份文件引用(2011–2021) 软件作者: Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.、Walker,D。 相关软件: NetKAT;荨麻;VeriCon… 主要字段: –
宝石3k 7份文件引用(2013–2022) 软件作者: 德米特里·库利克(Dmitrii A.Kulik)。;托马斯·瓦格纳(Thomas Wagner);斯维特拉纳五世(Svitlana V.Dmytrieva)。;乔治·科萨科夫斯基(Georg Kosakowski);费迪南德·辛格尔(Ferdinand F.Hingerl)。;康斯坦丁五世(Konstantin V.Chudennko)。;伯纳·乌尔斯·R。 相关软件: GEM手机;开放地理系统;PHREEQC… 主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);流体力学(76-XX)…
微型操作系统 6篇文献引用(2008–2019) 软件作者: 安德鲁·道尔顿(Andrew R.Dalton)。;Sally K.Wahba。;斯拉文西·丹达穆迪;霍尔斯特罗姆,杰森·O。 相关软件: FDR3;ProB;AUTOSAR… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PAROC公司 6篇文献引用(2015–2021) 软件作者: 皮斯蒂科普洛斯,E.N。;Diangelakis,N.A。;Oberdieck,R。;Papathanasiou,M.M。;纳斯库,I。;M·孙。 相关软件: POP;安提戈内;MPT… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
自动平衡器 5份文件引用(2000–2010) 软件作者: 佐藤加美;富米奥·金弘;玉崎县田宫;稻叶、Masayuki;Hirochika井上 相关软件: – 主要字段: (70E60-XX);(92C10-XX)
Flapjax公司 4份文件引用(2009–2020) 软件作者: L.A.Meyerovich、A.Guha、J.Baskin、G.H.Cooper、M.Greenberg、A.Bromfield、S.Krishnamurthi 相关软件: 卢斯特;哈斯克尔;信号… 主要字段: 计算机科学(68-XX)
Nettle公司 引用于3份文件(2017–2021) 软件作者: A.Voellmy、A.Agarwal、P.Hudak 相关软件: 狂热;NetKAT;SDN-SafeCheck… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Perple_X(X) 2份文件引用(2010–2022) 软件作者: 詹姆斯·A·D·康诺利 相关软件: MAGEMin公司;方面;Python… 主要字段: 流体力学(76-XX);地球物理学(86-XX);运筹学,数学规划(90-XX)…
跳过器 4份文件引用(2001年至2007年) 软件作者: 雷米·库达尔彻;佛罗伦萨杜库蒂;乔斯琳·塞洛特(Jocelyn Serot);弗雷德里克·尤里;Jean-Pierre Derutin;米歇尔·德霍姆 相关软件: eSkel;BSMLlib;伊甸园… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
tccp公司 引用于3份文件(2009–2013) 软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃 相关软件: CC-Pi;GHC;酯类… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
埃利姆 2份文件引用(2016) 软件作者: 加布里埃尔·拉丹;杰罗姆,沃隆;文森特·巴拉特 相关软件: 用户/网络;重量(Lwt);链接… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
瑞典全瓷牙 1份文件引用(2020) 软件作者: Voellmy,A.、Kim,H.、Feamster,N。 相关软件: SGS;SDSNM;OpenFlowSIA… 主要字段: 计算机科学(68-XX)
校对小工具 2份文件引用(2021–2022) 软件作者: 爱德华·艾尔斯(Edward W.Ayers)。;贾姆尼克,马蒂亚;W.T.Gowers。 相关软件: 精益;mathlib;岩浆… 主要字段: (68V15-XX)
PROOST公司 2份文件引用(2020–2022) 软件作者: 加马佐,P。;Slooten,LJ;Carrera,J。;Saaltink,MW;Bea,S。;J.索勒。, 相关软件: TOUGHREACT公司;PHREEQC;水文地球化学… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
REFLIX公司 1份文件引用(2002) 软件作者: Salcic、Zoran;Partha Roop;Biglari-Abhari,Morteza;阿巴斯·比格德利 相关软件: – 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
CHEPROO公司 1份文件引用(2020) 软件作者: Bea,S。;Carrera,J。;阿约拉,C。;巴特勒,F。;萨廷克,M。 相关软件: TOUGHREACT公司 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
NQC动态.jl 在0个文档中引用 软件作者: 詹姆斯·加德纳(James Gardner)、奥斯卡·A·道格拉斯·加勒多(Oscar A.Douglas-Gallardo)、沃伊切赫·G·斯塔克(Wojciech G.Stark)、朱莉娅·韦斯特梅尔(Julia Westermayr)、斯文贾·M·扬克(Svenja M.Janke)、斯科特·哈伯森(Scott Habershon)、莱因哈德·莫勒(Reinhard J.Maurer) 相关软件: VENUS96;Unitful.jl;MLJ… 主要字段: –
Paracosm公司 1份文件引用(2023) 软件作者: Rupak Majumdar;阿曼·马图尔;马库斯·皮龙(Marcus Pirron);劳拉·斯坦纳;达米恩·祖弗里 相关软件: LGSVL;DeepXlore;基蒂… 主要字段: 计算机科学(68-XX)
简约RaTT 1份文件引用(2023) 软件作者: 帕特里克·巴尔(Patrick Bahr);Graulund,基督徒;拉斯穆斯·莫格伯格 相关软件: 效率;MiniML;阿格达 主要字段: 计算机科学(68-XX)
索特 1份文件引用(2019) 软件作者: Ankush Desai、Shromona Ghosh、Sanjit A.Seshia、Natarajan Shankar、Ashish Tiwari 相关软件: FaST机架 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)