×

找到21个软件包(结果1–21)

CUDD公司

157篇文献引用(1997–2023)
软件作者: 法比奥·萨蒙齐
相关软件: NuSMV;自旋蛋白;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

苏普雷米卡

26篇文献引用(2009–2023)
软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克
相关软件: UMDES;TCT;NuSMV…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

紫苏

在14份文件中引用(2007–2022)
软件作者: 马库斯·贝勒
相关软件: Matlab;归一化;PPL…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

西尔文

11份文件引用(2020–2023)
软件作者: van Dijk,T。;范德波尔,J。
相关软件: LTSmin公司;棱镜;BuDDy…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

SBSAT卫星

10篇文献引用(2004–2023)
软件作者: 约翰·佛朗哥;米查尔·库里尔;约翰·施利普夫;杰弗里·沃德;肖恩·韦弗(Sean Weaver);Michael Dransfield;W.Mark范弗利特
相关软件: 不可抗力;糠;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

马戏团

引用于9份文件(2004–2017)
软件作者: Jin,HoonSang;法比奥·萨蒙齐
相关软件: 糠;CUDD;zChaff…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

质量管理尽职调查

引用于9份文件(2008–2023)
软件作者: D.M.Miller,M.A.Thornton
相关软件: QuIDDPro;qHiPSTER;项目Q…
主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)

ROBDD公司

5份文件引用(1992–2003)
软件作者: Brace,K.S。;伦德尔,R.L。;R.E.布莱恩特。
相关软件: NQTHM公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CASPA公司

4份文件引用(2008–2015)
软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特(Johann Schuster);马库斯·西格尔
相关软件: 棱镜;CUDD;参数
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

密度ZDD

1份文件引用(2018)
软件作者: Denzumi,Shuhei;川原,Jun;筑田、小井;阿里穆拉(Arimura)、弘基(Hiroki);Minato,Shin-ichi;Kunihiko Sadakane
相关软件: LCM;石墨;蓝宝石BDD
主要字段: 计算机科学(68-XX)

项目工具包

2份文件引用(2015年至2017年)
软件作者: ITEM软件(美国)公司
相关软件: 棱镜;MARCA;HyperStar…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

CLab公司

1份文件引用(2016)
软件作者: 鲁恩·延森
相关软件:
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

克罗科帕特

1份文件引用(2009)
软件作者: 德克·拜尔、安德烈亚斯·诺亚克、克劳斯·勒伦茨
相关软件: Qscope;PQL;CodeQuest…
主要字段: 计算机科学(68-XX)

哈斯卡BDD

2份文件引用(2015–2018)
软件作者: M·加廷格。
相关软件: SMCDEL公司;CacBDD;CUDD…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

库雷

2份文件引用(2008–2009)
软件作者: U.米兰人
相关软件: RelView;GBDD;Z、 …
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

NuMDG公司

2份文件引用(2011–2012)
软件作者: 阿贝德,赛义德;亚辛·莫赫塔里;艾特·穆罕默德(Ait-Mohamed),奥特曼(Otmane);索菲涅·塔哈尔
相关软件: Velev SAT基准;NuSMV公司
主要字段: 组合数学(05-XX);计算机科学(68-XX)

BDD公司

1份文件引用(2021)
软件作者: Sivilotti,P.,Asim,S.,Rumreich,L。
相关软件: WhyML;Why3;JDD…
主要字段: 计算机科学(68-XX)

密码路径

1份文件引用(2021)
软件作者: 约翰·彼得·因德罗伊;尼古拉斯·科斯特斯(Nicolas Costes);赫瓦尔德拉德姆
相关软件: 精彩;ADD-标签;dd…
主要字段: 数论(11-XX);群论与推广(20-XX);计算机科学(68-XX)…

联合尽职调查

1份文件引用(2021)
软件作者: 瓦希迪,A。
相关软件: WhyML;Why3;BDD…
主要字段: 计算机科学(68-XX)

禁用JBDD

1份文件引用(2021)
软件作者: 钱,F。
相关软件: WhyML;Why3;JDD…
主要字段: 计算机科学(68-XX)

MLCUDDIDL公司

在0个文档中引用
软件作者: 伯特兰·珍妮特
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件