×

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

加帕

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)

FLD箱

1份文件引用(2021)
软件作者: 弗兰克·维德里恩;马克西姆·雅克·明;尼古拉·科马托夫;辛戈尔斯,朱利安
相关软件: FLD编译器
主要字段: 计算机科学(68-XX)

筛选结果依据…