方面J 99篇文献引用(2001年至2022年) 软件作者: 格雷戈·基泽莱斯(Gregor Kiczales);埃里克·希尔斯代尔;Jim Hugunin;米克·克尔斯滕(Mik Kersten);杰弗里·帕尔姆 相关软件: 凯撒J;JBoss;JAsCo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
卵磷脂 39篇文献引用(2006–2023) 软件作者: 马提亚斯·海尔(Matthias Heil),安德鲁·哈泽尔(Andrew L.Hazel) 相关软件: 特里利诺斯;超级LU;自动… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
甲酚 在25份文件中引用(2006–2022) 软件作者: 约翰森(Einar Broch Johnsen);Owe、Olaf;Yu,Ingrid Chieh 相关软件: 羽量级Java;ABCL;莫德… 主要字段: 计算机科学(68-XX)
所有类型 18篇文献引用(1999–2017) 软件作者: 弗里茨·施瓦兹 相关软件: 减少;枫树;奇异… 主要字段: 场论与多项式(12-XX);结合环与代数(16-XX);常微分方程(34-XX)…
FoCaLiZe公司 引用于9份文件(2015–2023) 软件作者: INRIA公司;佩索,F.,维娅,P.,多利盖兹,D。 相关软件: Coq;dedukti;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
原分子 8份文件引用(2003–2015) 软件作者: Matthey,Thierry;特雷弗·奇科夫斯基;斯科特·汉普顿;Ko,Alice;马群;马修·尼尔吉斯;特洛伊州雷德;托马斯·斯拉巴赫;耶苏斯·A·伊扎古尔。 相关软件: OOMPAA;GSHMC;MPI… 主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…
萨瑟 7份文件引用(1996–2010) 软件作者: S.M.Omohundro、C.-C.Lim、J.Bilmes、, 相关软件: 埃菲尔;红宝石;回路… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
加齐 5份文件引用(2006–2012) 软件作者: 肖恩·麦克迪米德、马修·弗拉特、谢伟信 相关软件: 功能C++;方面J;Classbox/J… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
分类箱/J 2份文件引用(2010–2015) 软件作者: Bergel A、Ducasse S、Nierstrasz O 相关软件: 功能C++;凯撒J;方面J… 主要字段: 计算机科学(68-XX)
MOMI公司 4份文件引用(2005–2008) 软件作者: 洛伦佐·贝蒂尼;贝蒂·文内里(Betti Venneri);维维亚娜·博诺 相关软件: 琳达;科莱姆;克拉瓦 主要字段: 计算机科学(68-XX)
部落 4份文件引用(2010–2016) 软件作者: Clarke,D.、Drossopoulou,S.、Noble,J.、Wrigstad,T。 相关软件: Waldmeister;梅斯4;校准仪9… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
泄漏 3份文件引用(1994–2012) 软件作者: 安东尼奥·阿伦卡尔(Antonio J.Alencar)、约瑟夫·高根(Joseph A.Goguen) 相关软件: AGG;亨欣;凹槽… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
SNP统计 1份文件引用(2016) 软件作者: Solé,X.、E.Guino、J.Valls、R.Iniesta、V.Moreno 相关软件: SNPassoc;PLINK;R、 … 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
CGMIM公司 1份文件引用(2006) 软件作者: 巴季克,C.D。;Kuo,B。;鲁索,S。;琼斯,S。;布鲁克斯·威尔逊,A。 相关软件: UniProt;完整的;爆炸… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
德尔塔J 2份文件引用(2018) 软件作者: Koscielny,J.、Holthusen,S.、Schaefer,I.、Schulze,S.和Bettini,L.、Damiani,F。 相关软件: VerCors;酯类;毒蛇… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
PyCG公司 在0个文档中引用 软件作者: Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件: ast;守门人;合成码… 主要字段: –