OpenMath Content Dictionary: freealg1

Canonical URL:
http://www.math.kobe-u.ac.jp/OCD/freealg1.tfb
CD File:
freealg1.ocd
CD as XML Encoded OpenMath:
freealg1.omcd
Defines:
times
Date:
2002-09-25
Version:
1 (Revision 1)
Review Date:
2017-12-31
Status:
experimental

  Author: Nobuki Takayama

This CD defines elements of a free algebra.


times

Description:

Multiplication in the free algebra.

Signatures:
sts


[First: times] [Last: times] [Top]