×

找到11个软件包(结果1-11)

科奎利科

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)

点网格

在0个文档中引用
软件作者: Poshtkohi A、Abutalebi AH、Hessabi S
相关软件: 网格模拟;Globus工具包
主要字段: ——

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;合成码…
主要字段: ——

孔蒂戈

1份文件引用(2017)
软件作者: 哈桑,莫诺瓦尔;Sibin Mohan;佩利佐尼,鲁道夫;Rakesh B.博巴。
相关软件: ——
主要字段: 计算机科学(68-XX)

g标记

1份文件引用(2018)
软件作者: 巴根,G。;Bonifati,A。;乔卡努(Ciucanu,R.)。;弗莱彻,G.H.L。;A.勒梅。;Advokaat,N。
相关软件: OCaml;OEuf;HoTTSQL…
主要字段: 计算机科学(68-XX)

马尔维斯

1份文件引用(2013)
软件作者: 西尔维奥·塞萨尔;向阳;周万磊
相关软件: ——
主要字段: 统计学(62-XX);计算机科学(68-XX)

GECO公司

在0个文档中引用
软件作者: H.Lin、S.S.Veda、S.S Shukla、L.Mili、J.Thorp
相关软件: ——
主要字段: ——

WITS系统

在0个文档中引用
软件作者: 姚丽娜;盛泉Z。;贝纳塔拉(Benatallah)、布阿勒姆(Boualem);沙赫拉姆·达斯特达尔;王贤之;Ali Shemshadi;萨利尔·卡内尔。
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件