引用人
凯利森A 附录A Tekriwal M公司 粘合剂D (2023) LAProof:线性代数程序精确性和正确性的形式证明库 2023年IEEE第30届计算机算术(ARITH)研讨会 10.1109/ARITH58626.2023.00021 (36-43) 在线发布日期:2023年9月4日 苗D 拉古纳一世 鲁比奥·冈萨雷斯C (2023) 异构代码中编译器引起的数值不一致的表达式隔离 高性能计算 10.1007/978-3-031-32041-5_20 (381-401) 在线发布日期:2023年5月10日 傅Z 苏Z (2016) XSat:一种快速浮点可满足性求解器 计算机辅助验证 10.1007/978-3-319-41540-6_11 (187-209) 在线发布日期:2016年7月13日 显示更多引用者