Towards a Certified and Efficient Computing of Groebner Bases

机译：致力于Groebner基地的认证和高效计算

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In this paper, we present an example of the implementation and verification of a functional program. We expose an experience in developing an application in the area of symbolic computation: the computing of Groebner basis of a set of multivariate polynomials. Our aim is the formal certification of several aspects of the program written in the functional language CAML. In addition, efficient computing of the algorithm is another issue to take into account.

机译：在本文中，我们提供了一个功能程序的实现和验证的示例。我们展示了在符号计算领域开发应用程序的经验：一组多元多项式的Groebner基础的计算。我们的目标是对使用功能语言CAML编写的程序的各个方面进行正式认证。另外，算法的有效计算是要考虑的另一个问题。

著录项

来源
《International Conference on Computer Aided Systems Theory(EUROCAST 2005); 20050207-11; Las Palmas de Gran Canaria(ES)》|2005年|P.111-120|共10页
会议地点 Las Palmas de Gran Canaria(ES)
作者
J. Santiago Jorge; Victor M. Gulias; Jose L. Freire; Juan J. Sanchez;
展开▼
作者单位

MADS -LFCIA, Dept. de Computacion, Universidade da Coruna, Campus de Elvina, s., 15071 A, Coruna, Spain;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类机器辅助技术;
关键词

相似文献

外文文献
中文文献
专利

1. Certifying properties of an efficient functional program for computing Groebner bases [J] . J. Santiago Jorge, Victor M. Gulias, Jose L. Freire Journal of symbolic computation . 2009,第5期

机译：验证用于计算Groebner基数的有效功能程序的属性
2. An efficient algorithm for computing a comprehensive Groebner system of a parametric polynomial system [J] . Deepak Kapur, Yao Sun, Dingkang Wang urnal of Symbolic Computation . 2013,第FEBa期

机译：用于计算参数多项式系统的全面Groebner系统的有效算法
3. Computing strong regular characteristic pairs with Groebner bases [J] . Dong Rina, Wang Dongming Journal of symbolic computation . 2021,第MAYaJuna期

机译：使用Groebner基础计算强常规特征对
4. Towards a Certified and Efficient Computing of Groebner Bases [C] . J. Santiago Jorge, Victor M. Gulias, Jose L. Freire, International Conference on Computer Aided Systems Theory(EUROCAST 2005) . 2005

机译：迈向Groebner基地的经认证和有效的计算
5. A model for efficient real-time distributed computing middleware incorporating a fine-grained program-segment-level deadline-based scheduling policy and an efficient checkpoint-based replication scheme. [D] . Li, Yuqing. 2005

机译：一种高效的实时分布式计算中间件的模型，该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
6. An efficient dynamic ID-based remote user authentication scheme using self-certified public keys for multi-server environments [O] . Shudong Li, Xiaobo Wu, Dawei Zhao, 2012

机译：一种有效的基于动态ID的远程用户身份验证方案，该方案使用了用于多个服务器环境的自认证公钥
7. Certifying properties of an efficient functional program for computing Gröbner bases [O] . Jorge J. Santiago, Gulias Victor M., Freire Jose L. 2009

机译：验证用于计算Gröbner基数的有效功能程序的属性
8. Study of the Use of Ada in Trusted Computing Bases (TCBs) to be Certified at, or Below, the B3 Level. [R] . 1989

机译：研究在可信计算基础（TCB）中使用ada以在B3级别或低于B3级别进行认证。

Towards a Certified and Efficient Computing of Groebner Bases

摘要

著录项

相似文献

相关主题

期刊订阅