mathml
2
0
http://www.openmath.org/cdfiles/cdgroups/mathml.ocd
MathML compatibility CD Group
This is the first version of the Core CD group.
It was created by D Carlisle based on MathML CD Group.
Algebra
alg1
http://www.openmath.org/cd/alg1.ocd
Arithmetic
arith1
http://www.openmath.org/cd/arith1.ocd
Constructor for Floating Point Numbers
bigfloat1
http://www.openmath.org/cd/bigfloat1.ocd
Calculus
calculus1
http://www.openmath.org/cd/calculus1.ocd
Operations on and constructors for complex numbers
complex1
http://www.openmath.org/cd/complex1.ocd
Functions on functions
fns1
http://www.openmath.org/cd/fns1.ocd
Integer arithmetic
integer1
http://www.openmath.org/cd/integer1.ocd
Intervals
interval1
http://www.openmath.org/cd/interval1.ocd
Linear Algebra - vector & matrix constructors, those symbols which are independant of orientation, but in MathML
linalg1
http://www.openmath.org/cd/linalg1.ocd
Linear Algebra - vector & matrix constructors, those symbols which are dependant of orientation, and in MathML
linalg2
http://www.openmath.org/cd/linalg2.ocd
Limits of unary functions
limit1
http://www.openmath.org/cd/limit1.ocd
List constructors
list1
http://www.openmath.org/cd/list1.ocd
Basic logical operators
logic1
http://www.openmath.org/cd/logic1.ocd
MathML Numerical Types
mathmltypes
http://www.openmath.org/cd/mathmltypes.ocd
MathML attributes
mathmlattr
http://www.openmath.org/cd/mathmlattr.ocd
MathML Keys
mathmlkeys
http://www.openmath.org/cd/mathmlkeys.ocd
Minima and maxima
minmax1
http://www.openmath.org/cd/minmax1.ocd
Multset-theoretic operators and constructors
multiset1
http://www.openmath.org/cd/multiset1.ocd
Symbols for creating numbers, including some defined constants
(which can be seen as nullary constructors)
nums1
http://www.openmath.org/cd/nums1.ocd
Symbols for creating piecewise definitions
piece1
http://www.openmath.org/cd/piece1.ocd
The basic quantifiers forall and exists.
quant1
http://www.openmath.org/cd/quant1.ocd
Common arithmetic relations
relation1
http://www.openmath.org/cd/relation1.ocd
Number sets
setname1
http://www.openmath.org/cd/setname1.ocd
Rounding
rounding1
http://www.openmath.org/cd/rounding1.ocd
Set-theoretic operators and constructors
set1
http://www.openmath.org/cd/set1.ocd
Basic data orientated statistical operators
s_data1
http://www.openmath.org/cd/s_data1.ocd
Basic random variable orientated statistical operators
s_dist1
http://www.openmath.org/cd/s_dist1.ocd
Basic transcendental functions
transc1
http://www.openmath.org/cd/transc1.ocd
Vector calculus functions
veccalc1
http://www.openmath.org/cd/veccalc1.ocd
Alternative encoding symbols for compatibility with the MathML
Semantic mapping constructs.
altenc
http://www.openmath.org/cd/altenc.ocd