Skip to content

Latest commit

 

History

History
executable file
·
883 lines (881 loc) · 28.1 KB

cdnamess.md

File metadata and controls

executable file
·
883 lines (881 loc) · 28.1 KB

OpenMath Content Dictionaries by status

218 Content Dictionaries, ordered by status.

Content Dictionary Status
arith2 experimental
arith3 experimental
cc experimental
coercions experimental
combinat1 experimental
dimensions1 experimental
directives1 experimental
ecc experimental
field1 experimental
field2 experimental
field3 experimental
field4 experimental
fieldname1 experimental
finfield1 experimental
fns3 experimental
fns4 experimental
gp1 experimental
graph1 experimental
graph2 experimental
graph3 experimental
group1 experimental
group2 experimental
group3 experimental
group4 experimental
group5 experimental
groupname1 experimental
icc experimental
indnat experimental
integer2 experimental
intent experimental
lc experimental
linalg2col experimental
linalg3 experimental
linalg3 experimental
linalg4 experimental
linalg4mat experimental
linalg4vec experimental
linalg5 experimental
linalg5 experimental
linalg6 experimental
linalg7 experimental
linalgeig1 experimental
linalgeig2 experimental
linalgpoly1 experimental
linalgrank1 experimental
linalgspars1 experimental
linalgspec1 experimental
linalgspec2 experimental
linalgsym1 experimental
list2 experimental
list2 experimental
list3 experimental
list3 experimental
list4 experimental
magma1 experimental
magma2 experimental
magma3 experimental
mathmlkeys experimental
matrix1 experimental
monoid1 experimental
monoid2 experimental
monoid3 experimental
moreerrors experimental
omtypes experimental
opnode experimental
order1 experimental
permgp1 experimental
permgp2 experimental
permgrp experimental
permut1 experimental
permutation1 experimental
physical_consts1 experimental
plangeo1 experimental
plangeo2 experimental
plangeo3 experimental
plangeo4 experimental
plangeo5 experimental
plangeo6 experimental
poly experimental
polyd experimental
polyd1 experimental
polyd2 experimental
polyd3 experimental
polygb1 experimental
polygb2 experimental
polynomial1 experimental
polynomial2 experimental
polynomial3 experimental
polynomial4 experimental
polyoperators1 experimental
polyr experimental
polyslp experimental
polysts experimental
polyu experimental
prog1 experimental
relation0 experimental
relation2 experimental
relation4 experimental
ring1 experimental
ring2 experimental
ring3 experimental
ring4 experimental
ring5 experimental
ringname1 experimental
scscp1 experimental
scscp2 experimental
semigroup experimental
semigroup1 experimental
semigroup2 experimental
semigroup3 experimental
semigroup4 experimental
set2 experimental
set3 experimental
setname2 experimental
setoid experimental
transc2 experimental
transc3 experimental
typesorts experimental
units_imperial1 experimental
units_metric1 experimental
units_ops1 experimental
units_siprefix1 experimental
units_sts experimental
units_time1 experimental
units_us1 experimental
aggregate_cats experimental (contributed)
airy experimental (contributed)
alg1 experimental (contributed)
algebraic_cats experimental (contributed)
asymp1 experimental (contributed)
calculus1 experimental (contributed)
calculus2 experimental (contributed)
cauchypv experimental (contributed)
equations1 experimental (contributed)
expint experimental (contributed)
fns3 experimental (contributed)
freealg1 experimental (contributed)
function_properties experimental (contributed)
FundamentalPhysicalConstants1 experimental (contributed)
gen_hyperbolic1 experimental (contributed)
generic_alg_cats experimental (contributed)
hypergeo0 experimental (contributed)
hypergeo1 experimental (contributed)
hypergeo2 experimental (contributed)
hypergeon0 experimental (contributed)
hypergeon1 experimental (contributed)
hypergeon2 experimental (contributed)
interval_types experimental (contributed)
intpath1 experimental (contributed)
linalg1p experimental (contributed)
linalg6 experimental (contributed)
linalg7 experimental (contributed)
logic1p experimental (contributed)
logic3 experimental (contributed)
meta_cats experimental (contributed)
norm1 experimental (contributed)
numerical1 experimental (contributed)
numerical2 experimental (contributed)
orthpoly experimental (contributed)
patterns experimental (contributed)
permutation1 experimental (contributed)
poly1p experimental (contributed)
rdf experimental (contributed)
set1p experimental (contributed)
setname3 experimental (contributed)
SI_BaseQuantities experimental (contributed)
SI_BaseUnits1 experimental (contributed)
SI_DerivedQuantities1 experimental (contributed)
SI_functions1 experimental (contributed)
SI_NamedDerivedUnits1 experimental (contributed)
SIUsed_OffSystemMeasuredUnits1 experimental (contributed)
SIUsed_OffSystemUnits1 experimental (contributed)
sts2 experimental (contributed)
tensor1 experimental (contributed)
test-x experimental (contributed)
ThreeDgeo1 experimental (contributed)
ThreeDgeo2 experimental (contributed)
ThreeDgeo3 experimental (contributed)
units_binaryprefix1 experimental (contributed)
weylalgebra1 experimental (contributed)
alg1 official
altenc official
arith1 official
bigfloat1 official
calculus1 official
complex1 official
error official
fns1 official
fns2 official
integer1 official
interval1 official
limit1 official
linalg1 official
linalg2 official
list1 official
list1 official
logic1 official
mathmlattr official
mathmltypes official
meta official
metagrp official
metasig official
minmax1 official
multiset1 official
nums1 official
piece1 official
quant1 official
relation1 official
relation3 official
rounding1 official
s_data1 official
s_dist1 official
set1 official
setname1 official
sts official
transc1 official
veccalc1 official
list1 official (contributed)