ML4PG in Computer Algebra Verification

机译：ML4PG在计算机代数验证中

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

ML4PG is a machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development. In this paper, we use ML4PG to find proof patterns in the CoqEAL library - a library that was devised to verify the correctness of Computer Algebra algorithms. In particular, we use ML4PG to help us in the for-malisation of an efficient algorithm to compute the inverse of triangular matrices.

机译：ML4PG是一种机器学习扩展，可在Coq / SSReflect证明开发过程中提供统计证明提示。在本文中，我们使用ML4PG在CoqEAL库中找到证明模式，该库旨在验证计算机代数算法的正确性。特别是，我们使用ML4PG来帮助我们将有效算法进行形式化，以计算三角矩阵的逆。

著录项

来源
《Intelligent computer mathematics》|2013年|354-358|共5页
会议地点 Bath(GB)
作者
Jonathan Heras; Ekaterina Komendantskaya;
展开▼
作者单位

School of Computing, University of Dundee, UK;

School of Computing, University of Dundee, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
ML4PG; Interactive Theorem Proving; Coq; SSReflect; Machine Learning; Clustering; CoqEAL;

机译：ML4PG;互动定理证明；辅酶SSReflect;机器学习；集群；辅酶;

相似文献

外文文献
中文文献
专利

1. Incremental column-wise verification of arithmetic circuits using computer algebra [J] . Kaufmann Daniela, Biere Armin, Kauers Manuel Formal Methods in System Design . 2020,第1a3期

机译：使用计算机代数增量列明智验证算术电路
2. Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures [J] . Zulkoski Edward, Bright Curtis, Heinle Albert, Journal of Automated Reasoning . 2017,第3期

机译：将SAT解算器与计算机代数系统相结合以验证组合猜想
3. Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs [J] . Nikolaj Popov, Tudor Jebelean Mathematics and computers in simulation . 2009,第8期

机译：使用计算机代数技术来规范，验证和综合递归程序
4. ML4PG in Computer Algebra Verification [C] . Jonathan Heras, Ekaterina Komendantskaya Symposium on the Integration of Symbolic Computation and Mechanized Reasoning . 2013

机译：ML4PG在计算机代数验证中
5. A (Co)Algebraic Approach to Programming and Verifying Computer Networks [D] . Smolka, Steffen Juilf. 2019

机译：一个（CO）编程和验证计算机网络的代数方法
6. Evaluating a Semiautonomous Brain-Computer Interface Based on Conformal Geometric Algebra and Artificial Vision [O] . Mauricio Adolfo Ramírez-Moreno, David Gutiérrez 2019

机译：基于共形几何代数和人工视觉的半自治脑机接口评估
7. ML4PG in computer algebra verification [O] . Ekaterina Komendantskaya 2016

机译：mL4pG在计算机代数验证中的应用
8. Computer Checked Algebraic Verification of a Distributed Summation Algorithm [R] . Groote, J. F., Monin, F., Springintveld, J. 1997

机译：分布式求和算法的计算机检验代数验证

ML4PG in Computer Algebra Verification

摘要

著录项

相似文献

相关主题

期刊订阅