STEX: Semantic Markup in TEX/L

Abstract

We present a collection of TEX macro packages that allow to markup TEX/L ATEX documents semantically without leaving the document format, essentially turning TEX/L ATEX into a document format for mathematical knowledge management (MKM).

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

  • This entry has no external links. Add one.
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

Sref.Sty: Semantic crossreferencing in L.Michael Kohlhase - unknown
Physml.Sty: An infrastructure for marking up physml in tex/l.Michael Kohlhase - unknown
Reqdoc.Sty: Semantic markup for requirements specification documents.Michael Kohlhase - unknown
Document preparation for asl publications.Yiannis N. Moschovakis - unknown
An infrastructure for presenting semantic macros in stex.Michael Kohlhase - unknown
for Mathematical Documents.Michael Kohlhase - unknown
Omd.Sty: A generic framework for extensible metadata in L.Michael Kohlhase - unknown
Using the amsthm package.Michael Downes - unknown
An Exploration in the Space of Mathematical Knowledge.Michael Kohlhase - unknown
CPoint: Dissolving the Author's Dilemma.Michael Kohlhase - unknown
Reexamining the MKM value proposition: From math web search to math web research.Michael Kohlhase & Andrea Kohlhase - unknown
An Architecture for Linguistic and Semantic Analysis on the ARXMLIV Corpus.D. Ginev, C. David & M. Kohlhase - unknown
Semantic Knowledge Management for Education.Michael Kohlhase - unknown
Capturing the content of physics: Systems, observables, and experiments.Michael Kohlhase - unknown
Rule-based XML.Go Eguchi & Laurence L. Leff - 2002 - Artificial Intelligence and Law 10 (4):283-294.

Analytics

Added to PP
2010-12-22

Downloads
2 (#1,780,599)

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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