MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PMaude公司 在30份文件中引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BoTorch公司 23篇文献引用(2021–2024) 软件作者： Maximilian Balandat、Brian Karrer、Daniel R.Jiang、Samuel Daulton、Benjamin Letham、Andrew Gordon Wilson、Eytan Bakshy 相关软件： PyTorch；青蒿；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
pGCL公司 14篇文献引用(2005–2022) 软件作者： 公鸡，D。 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
NMRDPP公司 7份文件引用(2006–2023) 软件作者： 蒂堡，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 相关软件： 图形平面图；CPLEX；观察员… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
瓦伦 4份文件引用(2013–2018) 软件作者： A.Apostolico、M.Comin、L.Parida 相关软件： MADMX；WordSpy；MotifMiner… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch；朱莉娅… 主要字段： 计算机科学（68-XX）
近五年 2份文件引用(2019–2023) 软件作者： 菲利普·阿拉斯（Philipp Arras）；Baltac、Mihai；托尔斯滕·A·恩斯林。；菲利普·弗兰克；塞巴斯蒂安·赫申瑞特；雅各布·诺尔穆勒；雷马尔·雷克；Newrzella，Max-Niklas；卢卡斯·普拉茨；马丁·雷内克（Martin Reinecke）；朱莉娅·斯塔德勒 相关软件： UQLab；NumPyro；螺母… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；Clojush；按下… 主要字段： –
支付 1份文件引用(2022) 软件作者： Andriushchenko，R。；乔什卡，M。；Junges，S。；卡托恩，J-P；斯图品斯克。；席尔瓦，A。；KRM莱诺 相关软件： PDDL；通行证；PROPhESY… 主要字段： 计算机科学（68-XX）
ProBO公司 在0个文档中引用 软件作者： Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing 相关软件： 超波段；DARTS；GPyOpt… 主要字段： 计算机科学（68-XX）