加帕 21篇文献引用(2009–2023) 软件作者: 纪尧姆·梅尔昆德 相关软件: Coq;z3;ASTREE… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);偏微分方程(35-XX)…
VIPR公司 8份文件引用(2017–2023) 软件作者: Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件: SCIP;MIPLIB公司;DRAT-饰件… 主要字段: 组合数学(05-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)…
PolyPaver公司 3份文件引用(2014–2018) 软件作者: 米查尔·科内奇、扬·杜拉茨 相关软件: CkAnalytic;泰勒;大写… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)
UppSAT公司 3份文件引用(2018–2021) 软件作者: Zeljić,Aleksandar;彼得·贝克曼;Christoph M.Wintersteiger。;菲利普·吕默 相关软件: 数学SAT5;Boolector;z3… 主要字段: 计算机科学(68-XX)