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)