Mem provides an experimental environment for multilingual and multiscript typesetting with LTEX in the Aleph typesetting system. Aleph is Unicode-savvy and combines features of Omega and eTEX. With Mem you should be able to typeset Unicode documents mixing several languages and several scripts taking advantage of its built-in OCP mechanism and with a high level interface. Currently still under ...

We prove the equivalence between the recent matrix model formulation of 2Dgravity and lattice integrable models. For even potentials this system is theVolterra hierarchy.

 Let $R$ be a ring‎, ‎and let $n‎, ‎d$ be non-negative integers‎. ‎A right $R$-module $M$ is called $(n‎, ‎d)$-projective if $Ext^{d+1}_R(M‎, ‎A)=0$ for every $n$-copresented right $R$-module $A$‎. ‎$R$ is called right $n$-cocoherent if every $n$-copresented right $R$-module is $(n+1)$-coprese-nted‎, ‎it is called a right co-$(n,d)$-ring if every right $R$-module is $(n‎, ‎d)$-projective‎. ‎$R$...

in this paper, we extend some propositions of banachalgebras into module actions and establish the relationships betweentopological centers of module actions. we introduce some newconcepts as                         -property and -property for banach modules and obtain some conclusions inthe topological center of module actions and arens regularity of banachalgebras.

BibTEX has long been an essential tool for TEX and LTEX users, but the long list of re-implementation efforts attests to unfulfilled needs. The Bibulous project attempts to fulfill many of these needs with a unique approach based on style templates, providing a flexibility that is unmatched by existing tools. We illustrate its capability with examples of custom bibliography styles, multilingual...

JTabWb is a Java framework for developing provers based on terminating sequent or tableau calculi. It provides a generic engine which performs proof-search driven by a user-defined specification. The user is required to define the components of a prover by implementing suitable Java interfaces. The implemented provers can be used as standalone applications or embedded in other Java applications...

CADiZ began as a type-checker for Z specifications, which were embedded within troff documents. In adding other functionality, such as expansion of schema calculus expressions, and alternative functionality, such as an embedding within LTEX documents, a more open architecture was created into which new tools can be added and alternative tools substituted. This paper gives an overview of CADiZ a...