阿司匹克 25篇文献引用(2006–2022) 软件作者: 劳雷·贡诺德;尼古拉斯·哈尔巴赫斯 相关软件: ASTREE公司;快速;围裙… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
PRECiSA公司 6篇文献引用(2018–2022) 软件作者: 蒂托洛,劳拉;马可·A·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 相关软件: RangeLab;z3;ASTREE… 主要字段: 数值分析(65-XX);计算机科学(68-XX)