×

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

阿司匹克

25篇文献引用(2006–2022)
软件作者: 劳雷·贡诺德;尼古拉斯·哈尔巴赫斯
相关软件: ASTREE公司;快速;围裙…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

PRECiSA公司

6篇文献引用(2018–2022)
软件作者: 蒂托洛,劳拉;马可·A·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。
相关软件: RangeLab;z3;ASTREE…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段