方面J 99篇文献引用(2001年至2022年) 软件作者: 格雷戈·基泽莱斯(Gregor Kiczales);埃里克·希尔斯代尔;Jim Hugunin;米克·克尔斯滕(Mik Kersten);杰弗里·帕尔姆 相关软件: 凯撒J;JBoss;JAsCo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
NDSPMHD公司 70篇文献引用(2012–2024) 软件作者: 丹尼尔·普莱斯(Daniel J.Price)。 相关软件: 双球面物理学;幻影;GADGET… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
火花 38篇文献引用(1990–2023) 软件作者: Darren Foulger;史蒂夫·金 相关软件: JML;规范#;ESC/Java… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
全球溶胶 38篇文献引用(1999–2020) 软件作者: R.Baker Kearfott先生 相关软件: 进入PT_90;BARON公司;COCONUT… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
月收入 33篇文献引用(2004–2021) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;MML;HOL灯… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);数学教育(97-XX)
PYTHIA公司 28篇文献引用(1996–2018) 软件作者: 埃利亚斯·霍斯蒂斯。;Catlin,Ann C。;赖斯(John R.Rice)。;瓦西里奥斯·维里基奥斯(Vassilios S.Verykios)。;纳伦罗摩克里希南;霍斯蒂斯(Houstis)、凯瑟琳(Catherine E.)、维拉瓦拉纳(Weerawarana)、桑吉瓦(Sanjiva);埃利亚斯·霍斯蒂斯。;赖斯(John R.Rice)。;Joshi,Anupam;凯瑟琳·霍斯蒂斯。 相关软件: 珍珠包;高斯;PYTHIA8… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
MizarMode(米扎尔模式) 18篇文献引用(2006–2019) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;MML;MoMM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
绝对的 10篇文献引用(2015–2020) 软件作者: 克里斯托弗·比尔德(Christopher R.Bilder)。;托马斯·洛金(Thomas M.Loughin)。 相关软件: R;计数;伊斯兰解放军… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…
MAVEN公司 引用于9份文件(2007–2013) 软件作者: Max Goldman;艾米莉亚·卡茨;Shmuel Katz 相关软件: ProMoVer;CVPP;Aspectual Caml… 主要字段: 计算机科学(68-XX)
PolyAML公司 5份文件引用(2005–2012) 软件作者: 丹塔斯,D.S。;Walker,D。;Washburn,G。;魏里奇,S 相关软件: Aspectual Caml;方面J;MAVEN… 主要字段: 计算机科学(68-XX)
Aspectual凸轮 4份文件引用(2005–2012) 软件作者: Hidehiko Masuhara;Hideaki Tatsuzawa;Akinori Yonezawa 相关软件: PolyAML;OCaml;方面C++… 主要字段: 计算机科学(68-XX)
GLIMPSE公司 引用于2份文件(1992–2004) 软件作者: 大卫·E·沃尔斯滕霍尔姆(David E.Wolstenholme);卡尔·M·奥布莱恩(Carl M.O'Brien);约翰·内尔德 相关软件: GLIM;税务;GenStat公司 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
调试工具 3份文件引用(2020–2021) 软件作者: Tikhomirov,S.等人。 相关软件: github;蓄意破坏;LLVM… 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
Symlog公司 3份文件引用(1994年至2019年) 软件作者: 弗雷德里克·波托拉罗。 相关软件: 3TAP;思想者 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
ConScript(ConScript) 引用于2份文件(2013–2021) 软件作者: Meyerovich,L。;B.利夫希茨。 相关软件: FlowFox;水仙;监狱… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
互方面 引用于2份文件(2012–2021) 软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈弗伦德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克 相关软件: 方面J;LOLA;AspectWerkz… 主要字段: 计算机科学(68-XX)
CrossRec公司 在0个文档中引用 软件作者: Phuong T.Nguyen、Juri Di Rocco、Davide Di Ruscio、Massimiliano Di Penta 相关软件: LibFinder;LibCUP;LibRec银行 主要字段: –
货运员 1份文件引用(2017) 软件作者: Howlett,P.G。;P.J.普德尼。;Vu、X。 相关软件: SOCS;GPOPS公司 主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX)
grtools公司 在0个文档中引用 软件作者: Fabian A.Soto、Emily Zheng、Johnny Fonseca、F.Greg Ashby 相关软件: R;Matlab;numDeriv… 主要字段: –
MULTI-EDIP(多端) 1份文件引用(2013) 软件作者: Jerzy Kasprzyk;杰洛斯·菲格(Jarosław Figuer) 相关软件: – 主要字段: 系统理论;控制(93-XX)
皮科普曼 在0个文档中引用 软件作者: 潘绍武(Shaowu Pan)、尤里卡·凯泽(Eurika Kaiser)、布莱恩·德席尔瓦(Brian M.de Silva)、杰·内森·库茨(J.Nathan Kutz)、史蒂文·布鲁顿(Steven L.Brunton) 相关软件: mpEDMD;皮科普;库普曼实验室… 主要字段: –
Py传感器 在0个文档中引用 软件作者: 布莱恩·德·席尔瓦(Brian M.de Silva)。;克里蒂卡·马诺哈尔;克拉克,艾米莉;宾尼·W·布伦顿。;Steven L.Brunton。;J.Nathan Kutz 相关软件: 蟒蛇 主要字段: –