Search results

Link to orthpoly CD is broken

Status: Open.

#43 In OpenMath/CDs;

· Dinoguy1000 opened on Jan 29, 2024

I can't find mathematical optimisation CDs

Status: Open.

#42 In OpenMath/CDs;

· areleu opened on Mar 7, 2023

Some symbols have fewer attributes in OMOBJ tag than most others

Status: Open.

#41 In OpenMath/CDs;

· cknoll opened on Jul 11, 2022

CDName and CDURL do not match filename in SI_BaseQuantities1 and SI_Functions1

Status: Open.

#39 In OpenMath/CDs;

· jwknopper opened on Nov 15, 2019

bump CD revision once we are through with all cleanup

Status: Open.

#31 In OpenMath/CDs;

· kohlhase opened on Oct 8, 2017

RDF version of Content Dictionaries

Status: Open.

#30 In OpenMath/CDs;

· kenwenzel opened on Oct 6, 2017

Check whether OpenMath functions are the same as in DLMF

Status: Open.

#28 In OpenMath/CDs;

· kohlhase opened on Oct 3, 2017

Duplicate CDDefinition finfield1#field_by_conway

Status: Open.

#27 In OpenMath/CDs;

· kohlhase opened on Oct 2, 2017

contrib/logic1p and contrib/set1p are not a CD, just a CDDefinition

Status: Open.

#26 In OpenMath/CDs;

· kohlhase opened on Oct 2, 2017

linalg1p has a CDDefinition with two names (ones and kernel)

Status: Open.

#25 In OpenMath/CDs;

· kohlhase opened on Oct 2, 2017

xsd:anyURI

Status: Open.

#23 In OpenMath/CDs;

· davidcarlisle opened on Sep 30, 2017

CD Group comments for the scscp CD group.

Status: Open.

#22 In OpenMath/CDs;

· kohlhase opened on Sep 30, 2017