Issues

Is cd/Official/ or <CDStatus> authoritative? scscp1 and scscp2 disagree
OpenMath/CDs#45 · opened on Sep 17, 2026
scscp1.ocd: three examples put placeholder text where an OMATP is expected
OpenMath/CDs#44 · opened on Sep 17, 2026
Link to orthpoly CD is broken
OpenMath/CDs#43 · opened on Jan 29, 2024
I can't find mathematical optimisation CDs
OpenMath/CDs#42 · opened on Mar 7, 2023
2
Some symbols have fewer attributes in OMOBJ tag than most others
OpenMath/CDs#41 · opened on Jul 11, 2022
CDName and CDURL do not match filename in SI_BaseQuantities1 and SI_Functions1
OpenMath/CDs#39 · opened on Nov 15, 2019
1
bump CD revision once we are through with all cleanup
OpenMath/CDs#31 · opened on Oct 8, 2017
2
RDF version of Content Dictionaries
OpenMath/CDs#30 · opened on Oct 6, 2017
Check whether OpenMath functions are the same as in DLMF
OpenMath/CDs#28 · opened on Oct 3, 2017
Duplicate CDDefinition finfield1#field_by_conway
OpenMath/CDs#27 · opened on Oct 2, 2017
contrib/logic1p and contrib/set1p are not a CD, just a CDDefinition
OpenMath/CDs#26 · opened on Oct 2, 2017
linalg1p has a CDDefinition with two names (ones and kernel)
OpenMath/CDs#25 · opened on Oct 2, 2017
xsd:anyURI
OpenMath/CDs#23 · opened on Sep 30, 2017
7
CD Group comments for the scscp CD group.
OpenMath/CDs#22 · opened on Sep 30, 2017
Property of transc1.log states converse implication
OpenMath/CDs#15 · opened on Aug 23, 2017
1
\binom{n}{m} outside 0<=m<=n
OpenMath/CDs#9 · opened on Jul 26, 2017
What are cartesian_products made of?
OpenMath/CDs#8 · opened on Jul 24, 2017
7
piece1 CD: What if pieces overlap?
OpenMath/CDs#6 · opened on Jul 23, 2017
6
Clarify set1#subset
OpenMath/CDs#5 · opened on Jul 20, 2017
1
fns1#image vs. fns1#range
OpenMath/CDs#4 · opened on Jul 18, 2017
3