CP逻辑 20篇文献引用(2009–2023) 软件作者: Joost Vennekens;马克·德内克(Marc Denecker);莫里斯·布吕诺格 相关软件: ProbLog;PITA;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
MB基础 17篇文献引用(1999–2006) 软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯 相关软件: TPS;欧米茄;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
夸特达 1份文件引用(2020) 软件作者: Benoit K、Watanabe K、Wang H、Nulty P、Obeng A、Müller S、Matsuo A 相关软件: R;stm;data.table… 主要字段: 统计学(62-XX);计算机科学(68-XX)
TRX公司 8份文件引用(2010–2020) 软件作者: 亚当·科普罗夫斯基(Adam Koprowski);亨利·宾兹托克 相关软件: 辅酶q;阿格达;HOL… 主要字段: 计算机科学(68-XX)
基因芯片通路分析 3份文件引用(2006–2011) 软件作者: Dahlquist,K.D.,Salomonis,N.,Vranizan,K.,Lawlor,S.C.,Conklin,B.R。 相关软件: MAPPFinder;KEGG;大卫… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
百万毫升 6篇文献引用(2001–2004) 软件作者: 米塔科斯、西奥多罗斯;格尔加特苏利斯(Gergatsoulis),马诺利斯(Manolis);斯塔夫拉科斯、亚尼斯;伊奥安尼迪斯,埃夫斯塔提奥斯五世。 相关软件: – 主要字段: 计算机科学(68-XX)
MedScan公司 2份文件引用(2008–2017) 软件作者: Novichkova S、Egorov S、Daraselia N 相关软件: OpenDMAP;NoFold;卡纳… 主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)
肌动蛋白分割 2份文件引用(2015–2021) 软件作者: 亚历山大·里格特、大卫·古特、雷内尔·赫格尔、丹尼尔·鲍姆、布里塔·韦伯、斯特芬·普罗哈斯卡、奥哈德·梅达拉、沃尔夫冈·鲍迈斯特、汉斯·克里斯蒂安·赫格 相关软件: nlpdegm公司 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…
校对小工具 2份文件引用(2021–2022) 软件作者: 爱德华·艾尔斯(Edward W.Ayers)。;贾姆尼克,马泰贾;W.T.Gowers。 相关软件: 精益;mathlib;岩浆… 主要字段: 计算机科学(68-XX)
达尔文SPL 1份文件引用(2018) 软件作者: Nieke,M.、Engel,G.、Seidl,C。 相关软件: VerCors;酯类;毒蛇… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)