简化 135份文件引用(2001–2023) 软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯 相关软件: z3;ESC/Java;规范#… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
电子稳定控制系统/Java 120篇文献引用(2001–2022) 软件作者: 格雷格·纳尔逊 相关软件: 规格#;简化;JML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
弗拉马-C 43篇文献引用(2009–2023) 软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件: Coq;Why3;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
音频分段程序 在0个文档中引用 软件作者: Gianluca Maguolo、Michelangelo Paci、Loris Nanni、Ludovico Bonan 相关软件: 利比亚;Matlab;ADT… 主要字段: –