In this paper we present the first public, online demonstration of MaxTract; a tool that converts PDF files containing mathematics into multiple formats including LTEX, HTML with embedded MathML, and plain text. Using a bespoke PDF parser and image analyser, we directly extract character and font information to use as input for a linear grammar which, in conjunction with specialised drivers, ca...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...

let r be a ring, m a right r-module and (s,≤) a strictly ordered monoid. in this paper we will show that if (s,≤) is a strictly ordered monoid satisfying the condition that 0 ≤ s for all s ∈ s, then the module [[ms,≤]] of generalized power series is a uniserial right [[rs,≤]] ]]-module if and only if m is a simple right r-module and s is a chain monoid.

Let $A$ be a Banach algebra and $E$ be a Banach $A$-bimodule then $S = A oplus E$, the $l^1$-direct sum of $A$ and $E$ becomes a module extension Banach algebra when equipped with the algebras product $(a,x).(a^prime,x^prime)= (aa^prime, a.x^prime+ x.a^prime)$. In this paper, we investigate $triangle$-amenability for these Banach algebras and we show that for discrete inverse semigroup $S$ with...

the concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. the notion of free fuzzy modules was introducedby muganda as an extension of free modules in the fuzzy context. zahedi and ameriintroduced the concept of projective and injective l-modules. in this paper we give analternate definition for projective l-modules. we prove that e...

 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 o...

$r$-module. in this paper, we explore more properties of $max$-injective modules and we study some conditions under which the maximal spectrum of $m$ is a $max$-spectral space for its zariski topology.

MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and a calculus for transforming a many-valued formula to clauses suitable for many-valued resolution. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper, written in LTEX.

This article describes how to use the IEEEtran class with LTEX to produce high quality typeset papers that are suitable for submission to the Institute of Electrical and Electronics Engineers (IEEE). IEEEtran can produce conference, journal and technical note (correspondence) papers with a suitable choice of class options. This document was produced using IEEEtran in journal mode.