878 NOTICES OF THE AMS VOLUME 42, NUMBER 8 Technical writing, and mathematical writing in particular, is a complex and difficult task. While a number of excellent articles have been devoted to mathematical writing, few if any address issues concerning the use of computer technology. The aim of the present article is to draw the reader’s attention to existing works on mathematical writing, to of...

Literate proving is the analogue for literate programming in the mathematical realm. That is, the goal of literate proving is to produce clear expositions of formal mathematics that could even be enjoyable for people to read whilst remaining faithful representations of the actual proofs. This paper describes maze, a generic literate proving system. Authors markup formal proof files, such as Miz...

It is suggested that a LTEX document could be used as the Literate Programming source of an OpenMath content dictionary. Several approaches to literate programming are reviewed and a possible implementation is sketched.

let a be a banach algebra and e be a banach a-bimodule then s = a  e, the l1-direct sum of a and e becomes a module extension banach algebra when equipped with the algebras product (a; x):(a′; x′) = (aa′; a:x′ + x:a′). in this paper, we investigate △-amenability for these banach algebras and we show that for discrete inverse semigroup s with the set of idempotents es, the module extension bana...

let $r$ be a commutative ring with identity and $m$ be a finitely generated unital $r$-module. in this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. moreover, we investigate some conditions which imply that the module $m$ is the direct sum of some cyclic modules and free modules. then some properties of fitting ideals of...

We describe an experiment transforming large collections of LTEX documents to more machine-understandable representations. Concretely, we are translating the collection of scientific publications of the Cornell e-Print Archive (arχiv) using LaTeXML, a LTEX to XML converter currently under development. While the long-term goal is a large body of scientific documents available for semantic analys...

a module $m$ is called $emph{h}$-cofinitely supplemented if for every cofinite submodule $e$ (i.e. $m/e$ is finitely generated) of $m$ there exists a direct summand $d$ of $m$ such that $m = e + x$ holds if and only if $m = d + x$, for every submodule $x$ of $m$. in this paper we study factors, direct summands and direct sums of $emph{h}$-cofinitely supplemented modules. let $m$ be an $emph{h}$...

The MSC macro package facilitates LTEX users to easily include Message Sequence Charts in their texts. This article describes the motivation of developing the MSC macro package, the features of the MSC macro package, and the design of the MSC macro package.

Bitstream Vera was designed by Jim Lyles of Bitstream, Inc., in cooperation with the Gnome Foundation as a high quality scalable free font for use with free open-source software [4]. The Bitstream Vera family includes serif, sans serif, and monospaced fonts,1 and all three fonts have normal, oblique, bold, and bold oblique faces. Bitstream Vera is primarily intended as a screen font (though it ...