Verified Computer Algebra in ACL2 (Groebner Bases Computation)

机译：经过ACL2验证的计算机代数（Groebner基数计算）

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In this paper, we present the formal verification of a COMMON LISP implementation of Buchberger's algorithm for computing Grobner bases of polynomial ideals. This work is carried out in the ACL2 system and shows how verified Computer Algebra can bo achieved in an executable logic.

机译：在本文中，我们提出了用于计算多项式理想的Grobner基的Buchberger算法的COMMON LISP实现的形式验证。这项工作是在ACL2系统中进行的，展示了如何通过可执行逻辑实现经过验证的计算机代数。

著录项

来源
《International Conference on Artificial Intelligence and Symbolic Computation(AISC 2004); 20040922-24; Linz(AT)》|2004年|P.171-184|共14页
会议地点 Linz(AT)
作者
I. Medina-Bulo; F. Palomo-Lozano; J.A. Alonso-Jimenez; J.L. Ruiz-Reina;
展开▼
作者单位

Depto. de Lenguajes y Sistemas Informaticos, Univ. de Cadiz E.S. de Ingenieria de Cadiz, C/ Chile, s, 11003 Cadiz, Espana;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Algebraic verification method for SEREs properties via groebner bases approaches [J] . Zhou N., Wu J., Gao X. Journal of applied mathematics . 2013,第Pta2期

机译：基于Groebner基方法的SEREs性质的代数验证方法。
2. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches [J] . NingZhou, JinzhaoWu, XinyanGao Journal of applied mathematics . 2013,第5期

机译：Groebner基方法对SEREs属性的代数验证方法
3. Filtered-graded transfer of Groebner basis computation in solvable polynomial algebras [J] . Li HS., Wu YH. Communications in algebra . 2000,第1期

机译：可解多项式代数中Groebner基计算的滤波梯度转移
4. Verified Computer Algebra in ACL2 (Grobner Bases Computation) [C] . I. Medina-Bulo, F. Palomo-Lozano, J. A. Alonso-Jimenez, International Conference on Artificial Intelligence and Symbolic Computation(AISC 2004) . 2004

机译：ACL2中的已验证计算机代数（Grobner Bases Computation）
5. On Groebner Bases of (Non)Commutative Free Algebras [D] . Annunziata, Michael. 2017

机译：关于（非）换向免费代数的Groebner基地
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. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches [O] . Ning Zhou, Jinzhao Wu, Xinyan Gao 2013

机译：通过Goebner基地的塞子属性的代数验证方法

Verified Computer Algebra in ACL2 (Groebner Bases Computation)

摘要

著录项

相似文献

相关主题

期刊订阅