58 search results - page 3 / 12 » Latex |
TEX
2004
Springer
13 years 10 months ago
2004
Springer
METAPOST is able to produce figures that look almost like ray-traced raster images but that remain vector-based. A small review of three-dimensional perspective implementations w...
ESWS
2010
Springer
13 years 5 months ago
2010
Springer
Lecture notes, particularly such with mathematical formul
TEX
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes how to typeset Chinese, Japanese, and Korean (CJK) languages with Omega, a 16-bit extension of Donald Knuth’s TEX. In principle, Omega has no difficulty in ...
FAC
2008
13 years 5 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
TEX
2004
Springer
13 years 10 months ago
2004
Springer
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...