A computational definition of the notion of vectorial space
Logic in Computer Science
2009-11-23 v1 Programming Languages
Symbolic Computation
Abstract
We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can replace these propositions by an algorithm on terms constructed upon these operations that the algebraic structure must validate. We show in this note that this is the case for the notions of vectorial space and bilinear operation. KEYWORDS: Rewrite system, vector space, bilinear operation, tensorial product, semantics, quantum programming languages, probabilistic programming languages.
Keywords
Cite
@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}
}
Comments
14 pages, latex