Issues

• §3.2 binary encoding: two worked examples do not decode, and whether a shared tag carries an id is undecidable from the text

  OpenMath/OMSTD#72 · Filter by author s-celles opened on Sep 17, 2026

• define the names of syntactic parts of OM objects in 2.1.3

  OpenMath/OMSTD#56 · Filter by author kohlhase opened on Oct 5, 2017 · OM2 Revision 2
  3

  

• markup for definienda and definienses

  OpenMath/OMSTD#55 · Filter by author kohlhase opened on Oct 5, 2017
  11

  

• Denotation official of CDs

  OMCD18
  OpenMath/OMSTD#47 · Filter by author kohlhase opened on Oct 3, 2017 · OM2 Revision 2
  1

  

• clarify specification of CD URIs and CDURL for linked data

  OpenMath/OMSTD#44 · Filter by author kohlhase opened on Oct 3, 2017 · OMNext
  2

• Container element for CMP & FMP, which can have a stable author-defined ID

  OMCD18
  OpenMath/OMSTD#42 · Filter by author kohlhase opened on Oct 3, 2017 · OMNext
  4

• Rethink STS.

  OpenMath/OMSTD#39 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• kinds of FMPs (definitional, computational) specify it clearly.

  OMCD18
  OpenMath/OMSTD#38 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext
  1

• rethink CD metadata handling.

  OMCD18
  OpenMath/OMSTD#37 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• general formulation issues by Chris

  OpenMath/OMSTD#36 · Filter by author kohlhase opened on Oct 2, 2017 · OM2 Revision 2
  7

  

• Specify a MIME type for OpenMath

  OpenMath/OMSTD#35 · Filter by author kohlhase opened on Oct 2, 2017 · OM2 Revision 2
  3

  

• Wider OMF formats

  OpenMath/OMSTD#32 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext
  3

• OMV with complex presentations

  OpenMath/OMSTD#31 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• abstract CDGroups and CDSigs

  OMCD18
  OpenMath/OMSTD#26 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• Roles and Complience

  OpenMath/OMSTD#25 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext
  1

• Specify or forbid whitespace normalisation

  OpenMath/OMSTD#24 · Filter by author kohlhase opened on Oct 2, 2017 · OM2 Revision 2
  4

  

• n-ary OMBIND

  OpenMath/OMSTD#23 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• Inconsistencies between abstract CDs in OM2 and omcd2.rnc

  OMCD18
  OpenMath/OMSTD#22 · Filter by author kohlhase opened on Oct 2, 2017 · OM2 Revision 2
  5

  

• Allow rich inline content (or OMOBJ) in OMCD texts

  OMCD18
  OpenMath/OMSTD#20 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext
  7

• [SEP] Add Notation Definitions to OpenMath

  OMCD18
  OpenMath/OMSTD#19 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext
  1

• Quoting of OMOBJs as part of an OMOBJ

  OpenMath/OMSTD#17 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• Foreign object model; round-trip preservation

  OpenMath/OMSTD#16 · Filter by author kohlhase opened on Oct 2, 2017 · OM2 Revision 2
  9

  

• CD-level properties (CMP and FMP)

  OMCD18
  OpenMath/OMSTD#15 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• Language Extension Dictionaries

  OpenMath/OMSTD#14 · Filter by author kohlhase opened on Oct 2, 2017 · OMNext

• 2.0r2

  OpenMath/OMSTD#13 · Filter by author davidcarlisle opened on Oct 1, 2017 · OM2 Revision 2
  9