arXiv ScienceSearch

arXiv · 2606.20783

Lectures notes on number theory for computer science

Abstract

This brief, in the form of an e-book, is a collection of notes that cover elementary and medium level number theory with a target audience of primarily computer science students. It can be used in the number theory portion of a discrete mathematics course, or a course on the mathematical foundations of computer science, or as background material for a cryptography course. Thematically it is split into five areas that map to chapters. The first chapter is introductory and covers topics including divisibility, prime numbers, and modular arithmetic including modular linear equations. The second chapter covers additional topics such as Euler's totient function, units and inverses, the Chinese remainder theorem, and Fermat's and Euler's theorems. The following chapter covers primitive roots, quadratic residues, the Jacobi and Legendre symbols, Gauss's lemma and Eisenstein's theorem, and briefly discusses applications of number theory to cryptography. The fourth chapter is focused on traditional primality testing methods covering Miller's algorithms, Rabin's conversion of a Miller algorithm into a probabilistic primality test algorithm, Solovay-Strassen's algorithm and several other peripheral results including Carmichael numbers and the equivalence of Miller's two algorithms. Finally the last brief chapter can be viewed as an introduction to more advanced elements of number theory and its coverage includes multiplicative functions, the Möbius function, Dirichlet products and Dirichlet and Möbius inversions. Different parts of this e-book are for freshman to senior undergraduate students in computing and in particular computer science. Graduate students with limited exposure to number theory can use it to acquire a background suitable for typical cryptography courses at the master's level.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexandros V. Gerbessiotis. 2026-06-18. Lectures notes on number theory for computer science. https://arxiv.org/abs/2606.20783

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the Reconstruction of SAS from Other Triangle Congruence Criteria, Part II: Eliminating the Pons Asinorum

In the first part of this work we showed that, within a Hilbert plane deprived of the Side-Angle-Side axiom, the Side-Angle-Angle criterion, together with a ray correspondence principle [\textbf{RCT}], the existence of angle bisectors [\textbf{AB}], the congruence of supplements of congruent angles [\textbf{SA}], and the Pons Asinorum [\textbf{PA}], suffices to reconstruct SAS. We left open the question of whether [\textbf{PA}] is genuinely required alongside the other three principles, noting only a qualitative asymmetry in the nature of the principles involved. In this second part we answer this question: we show that \begin{equation*} \textrm{SAA},\ [\textbf{RCT}],\ [\textbf{AB}] \;\vdash\; [\textbf{PA}], \end{equation*} so that [\textbf{PA}] is redundant among the hypotheses of our main theorem, which improves to \begin{equation*} \textrm{SAA},\ [\textbf{RCT}],\ [\textbf{AB}],\ [\textbf{SA}] \;\vdash\; \textrm{SAS}. \end{equation*} The proof adapts an argument recently given by Donnelly, who reconstructs SAS from SAA together with an angle addition axiom and the existence of angle bisectors.

math.HO

Chebyshev and garment cutting. Debunking some myths

In {\tt 1878}, Pafnuty Chebyshev presented to the {\it Association fran\c caise pour l'avan\-cement des sciences} {\it [French Association for the Advancement of the Sciences]} an article \cite{Chebyshev1878} dealing with garment cutting. According to Chebyshev himself, his interest was sparked by a lecture given by Édouard Lucas that he had attended in {\tt 1876} \cite{Lucas1876}. There is a second story on the origin of Chebyshev's interest in garment cutting according to which in the 1850s, being short of money, Chebyshev got himself a job as a consultant to a clothing factory. At the time of the Crimean War (1853-1856), there was a great demand for uniforms. Chebyshev was allegedly asked to optimize the use of fabric, and it was there that his interest in garment cutting was born. This second story appears to have its origin in a post by Clive J. Grant to MacTutor in 1996 \cite{Grant1996}. However, this contribution contains no references, and no other source of information that I have found offers any first-hand documentation to support this story. Our conclusion is that this second story is a fabrication, invented out of whole cloth.

math.HO

Mathematics Graduate Training in the Age of AI

Generative AI changes the conditions under which graduate mathematics is learned, assessed, written, and defended. The central claim of this paper is that mathematics graduate programs should respond to the moment by clarifying what graduate mathematics education is trying to teach and assess. In most ways, the goals of mathematics education have not changed. Rather, with changing tools it has become more essential than ever to make clear the goals of mathematical training. We use the term mathematical judgment to refer to the capacity to evaluate mathematics (e.g., claims, definitions, examples, proofs, analogies, computations, uses of tools, research directions) as mathematically sound, useful, well-posed, and appropriately justified. The recommendation is to center training on mathematical judgment, and we examine possible policies for graduate programs in Mathematics to this end.

math.HO