Structured Types in MathML 2.0

Abstract

This Note discusses the facilities that are available in the MathML 2.0 Recommendation to facilitate the capturing of mathematical type information. It demonstrates how a combination of these features can be systematically used to provide support for general mathematical types

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,060

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Adaptation of Notations in Living Mathematical Documents.Michael Kohlhase - unknown
Notations for Living Mathematical Documents.Michael Kohlhase - unknown
Patron Privacy in the "2.0" Era.Michael Zimmer - 2013 - Journal of Information Ethics 22 (1):44-59.
Semantics of openmath and mathml.Michael Kohlhase - unknown
A comparison of privacy issues in collaborative workspaces and social networks.Martin Pekárek & Stefanie Pötzsch - 2009 - Identity in the Information Society 2 (1):81-93.
Towards a Phenomenological Understanding of Web 2.0 and Knowledge Formation.Håkan Fleischer - unknown
Web 2.0 Definition.Sfetcu Nicolae - manuscript
Impact of Cyberprogram 2.0 on Different Types of School Violence and Aggressiveness.Maite Garaigordobil & Vanesa Martínez-Valderrey - 2016 - Frontiers in Psychology 7.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. B. de Queiroz - 1991 - Mathematical Logic Quarterly 37 (9-12):149-166.

Analytics

Added to PP
2010-12-22

Downloads
9 (#1,438,190)

6 months
5 (#1,301,447)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references