抄送Pi 28篇文献引用(2007–2022) 软件作者: 玛丽亚·格拉齐亚·巴斯米(Maria Grazia Buscemi),乌戈·蒙塔纳里(Ugo Montanari) 相关软件: 奶牛;伊莎贝尔·霍尔;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
基利姆 6篇文献引用(2010年至2020年) 软件作者: Srinivasan,S.,Mycroft,A。 相关软件: JCobox;防抱死制动系统;Erlang… 主要字段: 计算机科学(68-XX)
壁龛 4份文件引用(2018–2021) 软件作者: 卡洛斯·奥拉特;伊莱恩·皮门特尔(Elaine Pimentel);卡米洛·鲁埃达 相关软件: 奎珀;混合的;密码… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GitLab公司 3份文件引用(2014年至2021年) 软件作者: GitLab.com网站 相关软件: OMDoc;MMT;ABAQUS/标准… 主要字段: 计算机科学(68-XX);可变形固体力学(74-XX)
tccp公司 3份文件引用(2009–2013) 软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃 相关软件: CC Pi;GHC;酯类… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
Con2colic公司 2份文件引用(2018–2021) 软件作者: Farzan A、Holzer A、Razavi N、Veith H 相关软件: veriSoft;blktrace;马夫特… 主要字段: 计算机科学(68-XX)
哈尔_ 2份文件引用(1992–2000) 软件作者: 克里斯·霍克(Chris Houck)、古尔·阿加(Gul Agha) 相关软件: 蟒蛇;CHARM++;Oz… 主要字段: 计算机科学(68-XX)
算法1026 1份文件引用(2022) 软件作者: 克里斯托斯·帕萨拉斯;拉尔斯·卡尔森(Lars Karlsson);Rasmus兄弟;保罗·比伦蒂内西 相关软件: 算法862;CUDA;MKL… 主要字段: 数值分析(65-XX)
GenCCSL公司 1份文件引用(2015年) 软件作者: Frédéric Mallet;格里戈里·兹霍尔特基维奇 相关软件: TimeSquare;CCSL公司 主要字段: 计算机科学(68-XX)
亲属特权 1份文件引用(2019) 软件作者: Gulce Kale;埃尔曼·艾迪;奥兹努尔·塔斯坦 相关软件: 基因二酚;HElib(HElib) 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
雅提斯 1份文件引用(2019) 软件作者: Chandarli Y、Fauberteau F、Damien M、Midonnet S、Qamhieh M 相关软件: 舒姆-乌科斯 主要字段: 计算机科学(68-XX)