Displaying similar documents to “On a new generalization of Alzer's inequality.”

Stability of n -Bit Generalized Full Adder Circuits (GFAs). Part II

Katsumi Wasaki (2008)

Formalized Mathematics

Similarity:

We continue to formalize the concept of the Generalized Full Addition and Subtraction circuits (GFAs), define the structures of calculation units for the Redundant Signed Digit (RSD) operations, then prove its stability of the calculations. Generally, one-bit binary full adder assumes positive weights to all of its three binary inputs and two outputs. We define the circuit structure of two-types n-bit GFAs using the recursive construction to use the RSD arithmetic logical units that...

On a Theorem of Mierczyński

Gerd Herzog (1998)

Colloquium Mathematicae

Similarity:

We prove that the initial value problem x’(t) = f(t,x(t)), x ( 0 ) = x 1 is uniquely solvable in certain ordered Banach spaces if f is quasimonotone increasing with respect to x and f satisfies a one-sided Lipschitz condition with respect to a certain convex functional.