MoDeST公司 33篇文献引用(2001–2022) 软件作者: 佩德罗·R·D’Argenio。;赫尔曼斯,霍尔格;Joost-Pieter Katoen;里克·克拉伦 相关软件: 棱镜;Uppaal;高科技… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
PITA公司 24篇文献引用(2010–2023) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司 相关软件: ProbLog;CP逻辑;棱镜… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
CP逻辑 20篇文献引用(2009–2023) 软件作者: Joost Vennekens;马克·德内克(Marc Denecker);莫里斯·布吕诺格 相关软件: ProbLog;PITA;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
MEBN公司 11份文件引用(2008–2018) 软件作者: 凯瑟琳·布莱克蒙·拉斯基 相关软件: 博客;PR-OWL;IBAL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…
崔弟 14篇文献引用(2016–2023) 软件作者: 蒂姆,M。 相关软件: 二精氨酸;LARS;Clingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
迷你凯恩人 9份文件引用(2008–2022) 软件作者: Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件: 卡恩;自动化;汞… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
家禽 9份文件引用(2014–2021) 软件作者: 隆美尔·N·卡瓦略。;凯瑟琳·拉斯基。;保罗·科斯塔。 相关软件: IBAL;贝叶斯OWL;博客… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…
cplint(cplint) 7份文件引用(2017–2022) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);朱塞佩,科塔;埃琳娜·贝洛迪;里卡多·泽斯 相关软件: ProbLog;SWI-预测;棱镜… 主要字段: 计算机科学(68-XX)
梅林 5份文件引用(2013–2017) 软件作者: Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件: 萨纳尔;JavaScript;TAJ… 主要字段: 计算机科学(68-XX)
风景优美 5份文件引用(2021–2023) 软件作者: 丹尼尔·弗里蒙特(Daniel J.Fremont)。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni-Vincentelli,Alberto L。;Sanjit A.Seshia。 相关软件: 验证;CARLA公司;LGSVL… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
PFLP公司 3份文件引用(2020–2022) 软件作者: 桑德拉·戴卢斯(Sandra Dylus)、扬·克里斯蒂安森(Jan Christiansen)、芬兰·蒂根(Finn Teegen) 相关软件: 教会;EasyCheck;瑞士… 主要字段: 计算机科学(68-XX)
K加热器 3份文件引用(2012) 软件作者: 马克·芬塔默(Marc Finthammer);马蒂亚斯·蒂姆 相关软件: 炼金术;ProbLog(问题日志) 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
QTAG公司 1份文件引用(2005) 软件作者: 丹·图菲斯(Dan Tufis),奥利弗·梅森(Oliver Mason) 相关软件: 生物2RDF;生物门户;BioMOBY… 主要字段: 计算机科学(68-XX)
逻辑QL 引用于2份文件(2016–2017) 软件作者: Terry Halpin,Spencer Rugaber公司 相关软件: 数据日志;DeepDive;风险投资… 主要字段: 计算机科学(68-XX)
迷你黄铜 1份文件引用(2018) 软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫 相关软件: 微量锌;JuMP;古罗比… 主要字段: 运筹学,数学编程(90-XX)
拟Borel空间 引用于2份文件(2017–2022) 软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件: 教会;HOL;精益… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
TerpreT公司 在0个文档中引用 软件作者: 亚历山大·冈特(Alexander L.Gaunt)、马克·布洛克施密特(Marc Brockschmidt 相关软件: Scikit;Clojush;按下… 主要字段: –
ProBO公司 在0个文档中引用 软件作者: Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing 相关软件: 超波段;DARTS;GPyOpt… 主要字段: 计算机科学(68-XX)
雅普 在0个文档中引用 软件作者: 纪尧姆·鲍达特(Guillaume Baudart)、马丁·赫泽尔(Martin Hirzel)、基兰·凯特(Kiran Kate)、路易斯·曼德尔(Louis Mandel)、阿夫拉哈姆·辛纳(Avraham Shinnar) 相关软件: 迈亚;PyCmdStan;PyStan… 主要字段: –