Since the end of Bretton Woods system and stagflation 1970s, transatlantic core, under leadership United States America, has been trying to expand its model free market capitalism embracing every part globe, while addressing domestic overaccumulation crisis. This article follows a historical methodological perspective draws from concept Uneven Combined Development (UCD), which helps us consider...

miskawayh regards intellect as the essence and non-material substance of human soul and mentions “virtue” as the sovereignty of intellect over the faculties of the soul (nafs) and its actions, the resul of which is the freedom of intellect in dealing with theoretical contemplations and the outcome of these contemplations is “wisdom”, that is the “happiness” of the soul. therefore, happiness rel...

This report describes experiences with doing mathematics using Haskell in the fields of algebra and signal processing. It discusses advantages of several Haskell features and problems e.g. with respect to type classes and implicit contexts, that arise in mathematical applications. We also propose solutions including references to the Numeric Prelude project.

In this paper we solve a problem, originally raised by Grothendieck, on the transfer of Cohen-Macaulayness to tensor products of algebras over a field k. As a prelude to this, we investigate the grade for some specific types of ideals that play a primordial role within the ideal structure of such constructions.

PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.

The Nielsen-Ninomiya theorem asserts the impossibility of constructing lattice models of non-selfinteracting chiral fermions. A new proof is given here. This proof fills a technical gap in the two proofs presented by the authors of the theorem. It also serves as prelude to an investigation of the chiral properties of the general lattice model.

As a prelude to what might be expected as forthcoming breakthroughs in finding new approaches toward solving three-dimensional lattice models in the twenty-first century, we review the exact solutions of two lattice models in three dimensions obtained using the conventional combinatorial and transfer matrix approaches.