酯类 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公司 27篇文献引用(2016–2024) 软件作者: 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)…
亚姆帕 9份文件引用(2003–2020) 软件作者: 亨利克·尼尔森(Henrik Nilsson)、安东尼·考特尼(Antony Courtney) 相关软件: 哈斯克尔;酯类;LUSTRE… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
PaGMO公司 6篇文献引用(2014–2023) 软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam) 相关软件: PaGMO/PyGMO;SciPy;Python… 主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
糖块 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… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GEMS3K公司 7份文件引用(2013–2022) 软件作者: 德米特里·库利克(Dmitrii A.Kulik)。;托马斯·瓦格纳(Thomas Wagner);斯维特拉纳五世(Svitlana V.Dmytrieva)。;乔治·科萨科夫斯基(Georg Kosakowski);费迪南德·辛格尔(Ferdinand F.Hingerl)。;康斯坦丁五世(Konstantin V.Chudennko)。;伯纳,Urs R。 相关软件: GEM手机;开放地理系统;PHREEQC… 主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);流体力学(76-XX)…
TinyOS公司 6篇文献引用(2008–2019) 软件作者: 安德鲁·道尔顿(Andrew R.Dalton)。;Sally K.Wahba。;斯拉文西·丹达穆迪;杰森·霍尔斯特罗姆。 相关软件: FDR3;ProB;AUTOSAR… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PAROC公司 6篇文献引用(2015–2021) 软件作者: 皮斯蒂科普洛斯,E.N。;Diangelakis,北美。;Oberdieck,R。;Papathanasiou,M.M。;纳斯库,I。;Sun,M。 相关软件: POP;安提戈内;MPT… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
自动平衡器 5份文件引用(2000–2010) 软件作者: 佐藤加美;富米奥·金弘;玉崎县田宫;Inaba,Masayuki;Hirochika井上 相关软件: —— 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
Nettle公司 4份文件引用(2017–2023) 软件作者: A.Voellmy、A.Agarwal、P.Hudak 相关软件: 狂热;NetKAT;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Flapjax公司 4份文件引用(2009–2020) 软件作者: L.A.Meyerovich、A.Guha、J.Baskin、G.H.Cooper、M.Greenberg、A.Bromfield、S.Krishnamurthi 相关软件: 卢斯特;哈斯克尔;信号… 主要字段: 计算机科学(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) 软件作者: 加布里埃尔·拉丹;杰罗姆·沃伊隆;巴拉特·文森特 相关软件: OCaml;用户/网络;重量… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
校对小工具 2份文件引用(2021–2022) 软件作者: 爱德华·艾尔斯(Edward W.Ayers)。;贾姆尼克,马泰贾;高尔斯,W.T。 相关软件: 精益;mathlib;岩浆… 主要字段: 计算机科学(68-XX)
PROOST公司 2份文件引用(2020–2022) 软件作者: 加马佐,P。;Slooten,LJ;Carrera,J。;Saaltink,MW;Bea,S。;J.索勒。, 相关软件: FEniCS-Reaktoro;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 相关软件: VENUS96;Unitful.jl;MLJ… 主要字段: ——
Paracosm公司 在0个文档中引用 软件作者: Rupak Majumdar;阿曼·马图尔;马库斯·皮伦;劳拉·斯坦纳;达米安·祖弗里 相关软件: 基蒂;github;imgage… 主要字段: 计算机科学(68-XX)
简约RaTT 1份文件引用(2023) 软件作者: 帕特里克·巴尔(Patrick Bahr);格劳伦德(Graulund),克里斯蒂安(Christian);拉斯穆斯·莫格伯格 相关软件: MiniML;效率;阿格达 主要字段: 计算机科学(68-XX)
SOTER公司 1份文件引用(2019) 软件作者: Ankush Desai、Shromona Ghosh、Sanjit A.Seshia、Natarajan Shankar、Ashish Tiwari 相关软件: FaST机架 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)