Sciweavers

58 search results - page 4 / 12
» Latex
Sort
View
TEX
2004
Springer
283views Latex» more  TEX 2004»
13 years 10 months ago
Creating Type 1 Fonts from METAFONT Sources
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
Karel Píska
TEX
2004
Springer
205views Latex» more  TEX 2004»
13 years 10 months ago
Managing TEX Resources with XML Topic Maps.
For many years the Polish TEX Users Group newsletter has been published online on the GUST web site. The repository now contains valuable information on TEX, METAFONT, electronic d...
Tomasz Przechlewski
DELFI
2004
13 years 6 months ago
Semantic Interrelation of Documents via an Ontology
Abstract. This tutorial describes the rationale for and use of an ontology for extensive semantic interrelation of documents to increase "sustainable development", i.e. c...
Bernd Krieg-Brückner, Arne Lindow, Christoph ...
DAS
2008
Springer
13 years 7 months ago
MathBrush: A System for Doing Math on Pen-Based Devices
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
George Labahn, Edward Lank, Scott MacLean, Mirette...
ISEMANTICS
2010
13 years 6 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...