CBMC公司 86篇文献引用(2004–2023) 软件作者: Clarke E、Kroening D、Lerda F 相关软件: 爆炸;MiniSat;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
KeOps公司 12份文件引用(2019–2022) 软件作者: 查利尔,B.,费迪,J.,格劳内斯,J。 相关软件: PyTorch;L-BFGS;Python… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);统计学(62-XX)…
地址消毒剂 3份文件引用(2016–2020) 软件作者: Serebryany,K.、Bruening,D.、Potapenko,A.、Vyukov,D。 相关软件: CODA;CRAN;R、 … 主要字段: –
组合数学.jl 在0个文档中引用 软件作者: 陈嘉豪;亚历山德罗·安德烈奥尼(Alessandro Andrioni);等。 相关软件: 建模工具包.jl;微分方程.jl;SymbolicUtils.jl… 主要字段: –
软绑定(SoftBound) 1份文件引用(2020年) 软件作者: Nagarakatte,S.、Zhao,J.、Martin,M.M.、Zdancewic,S 相关软件: Jinja线程;存档正式证据 主要字段: –