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

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)

9 stars 5 forks source link

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

Open kohlhase opened 6 years ago

kohlhase commented 6 years ago

Abstract CD spec in OM2 says that FMPs can have types, but not more. This should be specified (see https://github.com/OpenMath/OM3/issues/125). And there are two specific kinds that are proposed.

[ ] definitional (see https://github.com/OpenMath/OM3/issues/5)
[ ] alias (see https://github.com/OpenMath/OM3/issues/32)
[ ] computational (see see OpenMath/OM3#129)

car222222 commented 6 years ago

Some maybe ‘useful facts’ = ‘theorems’ rather than ‘definitions’. And typical maths definitions can involve a lot of ‘assumptions’ = ‘theorems’.