Geodesic

Volume 42 (2013)

Table of contents

On (log-) convexity of power mean
p. 3-7
Cube-and-Conquer approach for SAT solving on grids
p. 9-21
On normals of manifolds in multidimensional projective space
p. 23-28
Complexity metric based source code transformation of Erlang programs
p. 29-44
Performance evaluation of wireless networks speed depending on the encryption
p. 45-55
On pseudoconformal models of fibrations determined by the algebra of antiquaternions and projectivization of them
p. 57-64
Method for computing angle constrained isoptic curves for surfaces
p. 65-70
Note on formal contexts of generalized one-sided concept lattices
p. 71-82
Bi-periodic incomplete Fibonacci sequences
p. 83-92
On the zeros of some polynomials with combinatorial coefficients
p. 93-101
Averaging sums of powers of integers and Faulhaber polynomials
p. 105-117
Linear recurrence relations with the coefficients in progression
p. 119-127
A note on Golomb's method and the continued fraction method for Egyptian fractions
p. 129-134
Inserting RFID systems into the Software Information Technology course
p. 135-143