We enumerate the self-orthogonal Latin squares of orders \(1\) through \(9\) and discuss the nature of the isomorphism classes of each order. Furthermore, we consider the possibility of enlarging sets of self-orthogonal Latin squares to produce complete sets.

A vertex-magic total labeling on a graph with \( v \) vertices and \( e \) edges is a one-to-one map taking the vertices and edges onto the integers \( 1, 2, \ldots, v+e \) with the property that the sum of the label on a vertex and the labels of its incident edges is constant, independent of the choice of vertex. We give vertex-magic total labelings for several classes of regular graphs. The paper concludes with several conjectures and open problems in the area.

In this paper, we complete the classification of optimal binary linear self-orthogonal codes up to length 25. Optimal self-orthogonal codes are also classified for parameters up to length 40 and dimension 10. The results were obtained via two independent computer searches.

In this paper we examine the classical Williamson construction for Hadamard matrices, from the point of view of a striking analogy with isomorphisms of division algebras. By interpreting the 4 Williamson array as a matrix arising from the real quaternion division algebra, we construct Williamson arrays with 8 matrices, based on the real octonion division algebra. Using a Computational Algebra formalism we perform exhaustive searches for even-order 4-Williamson matrices up to 18 and odd- and even-order 8-Williamson matrices up to 9 and partial searches for even-order 4-Williamson matrices up to 22 and odd- and even-order 8-Williamson matrices for orders 10 — 13. Using Magma, we conduct searches for inequivalent Hadamard matrices within all the sets of matrices obtained by exhaustive and partial searches. In particular, we establish constructively ten new lower bounds for the number of inequivalent, Hadamard matrices of the consecutive orders 72, 76, 80, 84, 88, 92, 96, 100, 104 and 108.

This article continues the study of a class of non-terminating expansions of sin\( (m\alpha) \) (even \(m \geq 2 \)) which in each case possesses embedded Catalan numbers. A known series form of the sine function (said to be associated with Euler) is taken here as our basic representation, the coefficient of the general term being developed analytically in an interesting fashion and shown to be dependent on the Catalan sequence in the manner expected.
The work, which has a historical backdrop to it, is discussed in the context of prior results by the author and others.

A \((v,k,\lambda)\) covering design is a set of \(b\) blocks of size \(k\) such that each pair of points occurs in at least \(\lambda\) blocks, and the covering number \(C(v, k, \lambda)\) is the minimum value of \(b\) in any \((v, k, \lambda)\) covering design. For \(k = 5\) and \(v\) even, there are 24 open cases with \(2 \leq \lambda \leq 21\), each of which is the start of an open series for \(\lambda,\lambda + 20, \lambda + 40, \ldots\). In this article, we solve 22 of these cases with \(\lambda \leq 21\), leaving open \((v, 5, \lambda)=(44, 5, 13)\) and \((44, 5, 17)\) (and the series initiated for the former).

The basis number of a graph \( G \) is defined to be the least integer \( d \) such that there is a basis \( \mathcal{B} \) of the cycle space of \( G \) such that each edge of \( G \) is contained in at most \( d \) members of \( \mathcal{B} \). MacLane [16] proved that a graph, \( G \), is planar if and only if the basis number of \( G \) is less than or equal to 2. Ali and Marougi [3] proved that the basis number of the strong product of two cycles and a path with a star is less than or equal to 4. In this work, (1) we prove the basis number of the strong product of two cycles is 3. (2) We give the exact basis number of a path with a tree containing no subgraph isomorphic to a 3-special star of order 7. (3) We investigate the basis number of a cycle with a tree containing no subgraph isomorphic to a 3-special star of order 7. The results in (1) and (2) improve the upper bound of the basis number of the strong product of two cycles and a star with a path which were obtained by Ali and Marougi.

A set \( S \) of vertices is a total dominating set of a graph \( G \) if every vertex of \( G \) is adjacent to some vertex in \( S \). The minimum cardinality of a total dominating set is the total domination number \( \gamma_t(G) \). We show that for a nontrivial tree \( T \) of order \( n \) and with \( \ell \) leaves, \( \gamma_t(T) \geqslant \frac{n + 2 – \ell}{2} \), and we characterize the trees attaining this lower bound.

This paper presents a computationally efficient algorithm for solving the following well-known die problem: Consider a “crazy die” to be a die with \( n \) faces where each face has some “cost”. Costs need not be sequential. The problem is to determine the exact probability that the sum of costs from \( U \) throws of this die is \( \geq T \), \( T \in \mathbb{R} \). Our approach uses “slice” volume computation in \( U \)-dimensional space. Detailed algorithms, complexity analysis, and comparison with traditional generating functions approach are presented.

Difference systems of sets (DSS), introduced by Levenshtein, are used to design code synchronization in the presence of errors. The paper gives a new lower bound of DSS’s size.