ETHER
发表于 2025-3-23 10:07:15
http://reply.papertrans.cn/71/7001/700015/700015_11.png
Jubilation
发表于 2025-3-23 16:16:21
OMDoc as a Modular Formatn’s functionality into a number of “building blocks” or “modules”, which are subsequently combined according to specific rules to form the entire application. This approach offers numerous advantages: The increased conceptual clarity allows developers to share ideas and code, and it encourages reuse
Working-Memory
发表于 2025-3-23 20:23:52
Document Infrastructure (Module DOC)books). These employ special notational conventions and visual representations to convey the mathematical knowledge reliably and efficiently..When marking up mathematical knowledge, one always has the choice whether to mark up the structure of the document itself, or the structure of the mathematica
SLUMP
发表于 2025-3-24 00:47:10
http://reply.papertrans.cn/71/7001/700015/700015_14.png
Veneer
发表于 2025-3-24 04:38:52
Mathematical Objects (Module MOBJ) the . and Content-. formats to represent mathematical formulae and objects. Therefore, the . standard and the . 2.0 recommendation (second edition) are part of this specification. We will review . objects (top-level element .) in Section 13.1 and Content-. (top-level element .) in
有限
发表于 2025-3-24 08:42:35
Abstract Data Types (Module ADT)and recursive functions on these under the heading of .. Prominent examples of abstract data types are natural numbers, lists, trees, etc. The module ADT presented in this chapter extends . by a concise syntax for abstract data types that follows the model used in the . (Common Abstract Specificatio
Bph773
发表于 2025-3-24 13:20:11
http://reply.papertrans.cn/71/7001/700015/700015_17.png
subacute
发表于 2025-3-24 17:27:11
http://reply.papertrans.cn/71/7001/700015/700015_18.png
催眠
发表于 2025-3-24 20:13:42
http://reply.papertrans.cn/71/7001/700015/700015_19.png
STIT
发表于 2025-3-25 01:48:53
Structured and Parametrized Theoriesy applying it to the theory . of natural numbers to obtain the intended theory . of lists of natural numbers. The advantage of this approach is that we can re-use the generic theory . to apply it to other element theories like that of “characters” to obtain a theory of lists of characters. In algebr