向量空间概念的计算定义
计算机科学中的逻辑
2009-11-23 v1 编程语言
符号计算
摘要
我们通常通过一个集合、该集合上定义的一些运算以及该代数结构必须验证的一些命题来定义代数结构。在某些情况下，我们可以用基于这些运算构建的项上的算法来替换这些命题，该算法是代数结构必须验证的。我们在本文中表明，向量空间和双线性运算的概念就是这种情况。
引用
@article{arxiv.0911.4051,
title = {A computational definition of the notion of vectorial space},
author = {Pablo Arrighi and Gilles Dowek},
journal= {arXiv preprint arXiv:0911.4051},
year = {2009}
}
备注
14 pages, latex