A computational definition of the notion of vectorial space

Details A computational definition of the notion of vectorial space A computational definition of the notion of vectorial space

2009-11-20

arxiv.org/abs/0911.4051v1

Proc. of 5th International Workshop on Rewriting Logic and its Applications 2004 (WRLA) and ENTCS 117, 249-261, (2005).

Computer Science

Logic in Computer Science

14 pages, latex

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A computational definition of the notion of vectorial space does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A computational definition of the notion of vectorial space, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A computational definition of the notion of vectorial space will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-432573