科奎利科 22篇文献引用(2015–2024) 软件作者: 西尔维·博尔多;凯瑟琳·勒雷(Catherine Lelay);纪尧姆·梅尔金德 相关软件: Coq;Isabelle/HOL;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);常微分方程(34-XX)…
PBGL公司 引用于9份文件(1991–2021) 软件作者: 道格拉斯·格雷戈;安德鲁·卢姆斯代恩 相关软件: 促进;STAPL;增强C++库… 主要字段: 组合数学(05-XX);代数拓扑(55-XX);数值分析(65-XX)…
小队 5份文件引用(2010–2021) 软件作者: 阿克拉姆·门德斯;卡洛斯·拉米雷斯;莫里西奥·佩雷斯·马丁内斯;曼多萨 相关软件: 动态记录仪;gplots;阴性… 主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)
LPaaS公司 1份文件引用(2018) 软件作者: 罗伯塔·卡莱加里;Enrico Denti;玛丽亚尼,斯特凡诺;安德烈亚·奥米西尼 相关软件: TuCSoN;SWI-预测;XSB… 主要字段: 计算机科学(68-XX)
BreakApp(中断应用程序) 在0个文档中引用 软件作者: Nikos Vasilakis、Ben Karel、Nick Roessler、Nathan Dautenhahn、AndréDeHon、Jonathan M.Smith 相关软件: Retired.js;冲突JS;合成码… 主要字段: ——
g标记 1份文件引用(2018) 软件作者: 巴根,G。;Bonifati,A。;乔卡努(Ciucanu,R.)。;弗莱彻,G.H.L。;A.勒梅。;Advokaat,N。 相关软件: OCaml;OEuf;HoTTSQL… 主要字段: 计算机科学(68-XX)
WITS系统 在0个文档中引用 软件作者: 姚丽娜;盛泉Z。;贝纳塔拉(Benatallah)、布阿勒姆(Boualem);沙赫拉姆·达斯特达尔;王贤之;Ali Shemshadi;萨利尔·卡内尔。 相关软件: —— 主要字段: ——