×

找到7个软件包(结果1-7)

UnitWalk公司

引用于33份文件(2002–2023)
软件作者: 爱德华·赫施(Edward A.Hirsch)。;阿里斯特·科耶夫尼科夫
相关软件: 糠;SATO;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

垫片

30篇文献引用(2015–2023)
软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基
相关软件: z3;CVC4;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

CalCS公司

8份文件引用(2013–2019)
软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。
相关软件: dReal;z3;dReach…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学编程(90-XX)…

LinAIG公司

7份文件引用(2011–2022)
软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;佛罗里达州Pigorsch;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨
相关软件: z3;CUDD;SpaceEx…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

dCAQE公司

6篇文献引用(2019–2022)
软件作者: Tentrup,Leander;马库斯·拉贝。
相关软件: HQPre;iProver;CAQE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

从未

2份文件引用(2011–2018)
软件作者: 卢卡·普利纳(Luca Pulina);阿曼多·塔切拉
相关软件: Matlab;OPQ;Roboop…
主要字段: 特殊功能(33-XX);计算机科学(68-XX)

IJIT公司

1份文件引用(2017)
软件作者: 刘培尊、托马斯·沃尔
相关软件: 铁路CNL
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件