In the present paper several q−integral inequalities are presented, some of them are new and others are generalizations of known results.

Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of “logical consequence” or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneou...

Writing a program to solve a problem is a process that can be divided into two phases: first, we invent a mental model of the solution; secondly, we map the mental model onto a physical representation. The mental model is multidimensional and syntax-free; in today’s textual programming languages, the physical representation is singledimensional and syntax-burdened. In fact, it hasn’t changed gr...

We consider solutions to the Euler equations in the whole space from a certain class, which can be characterized, in particular, by finiteness of mass, total energy and momentum. We prove that for a large class of right-hand sides, including the viscous term, such solutions, no matter how smooth initially, develop a singularity within a finite time. We find a sufficient condition for the singul...

0 binary, I-binary: The binary GCD algorithm ([lS]) and its improvement for multidigit integers (Gosper, see [12]). We compare the executron times of several algoixtliiiis for computing the G‘C‘U of arbitrary precasion iirlegers. These algorithms are the known ones (Euclidean, brnary, plus-mrnus), and the improved variants of these for multidigit compzltation (Lehmer and similar), as well as ne...

In this paper we give convex-ear decompositions for the order complexes of several classes of posets, namely supersolvable lattices with non-zero Möbius functions and rank-selected subposets of such lattices, rank-selected geometric lattices, and rank-selected face posets of shellable complexes which do not include the top rank. These decompositions give us many new inequalities for the h-vecto...

The energy minima of systems made of an alanine molecule, a lithium cation and a various number of watermolecules have been determined with the help of quantum mechanical computations at the B3LYP DensityFunctional Theory level of computation and the standard 6-311++G (d,p) basis set. Several structures, close inenergy are found and the presence of one or two water molecules around the cation m...

A master element to be employed as a general spatial rod finite element is presented. This spatially curved and pretwisted element can have variable cross-section and variable curvature change. It may also be resting on an elastic foundation. Also, a finite element formulation for a general earthquake analysis of spatial rods is presented. The theoretical foundation has lead to a general-purpos...