Engineering

Polynomial Modular Inverses

Inverting a polynomial modulo another using the extended Euclidean algorithm, and the finite field application.

Polynomial Multiplication Strategies

Schoolbook, Karatsuba and evaluation-interpolation methods for polynomial multiplication, and where the crossovers lie.

Polynomial Quotient Algebras

The structure of F[X]/(f), its basis, arithmetic, and the decomposition when f is reducible.

Polynomial Representation and Storage

Dense and sparse polynomial representations, coefficient domains, and the normalisation invariants every implementation must maintain.

Engineering Mathematics13 Aug 2026 · 23 min read

Polynomials and Matrices

Evaluating a polynomial at a square matrix: matrix powers, why the constant term becomes a multiple of the identity, and why the factored form gives the same answer.

Polynomials versus Polynomial Functions

The distinction between a formal polynomial and the function it induces, and why the two differ over finite rings.

Possibilities for Solution Sets of Linear Systems

A linear system has no solution, exactly one, or infinitely many — never two. The trichotomy, its geometric reading, its proof, and what each case means in practice.

Engineering Mathematics13 Aug 2026 · 24 min read

Pre-Images of a Linear Transformation

The pre-image of a vector under a linear transformation: when it is empty, why a non-empty pre-image is a translate of the kernel, and how it partitions the domain.

Primality Certificates and Independent Verification

What a primality certificate is, why verification is cheaper than production, and what a certificate does and does not guarantee.

Primality Versus Factoring: Framing the Problems

Why proving compositeness is easy, proving primality is harder, and factoring is harder still — and what this asymmetry means in practice.

Prime Decomposition in Quadratic Fields

How rational primes split, remain inert or ramify in a quadratic field, decided entirely by the Kronecker symbol.

Prime Decomposition when p Does Not Divide the Index

Decomposing a prime that does not divide the index, by factoring the defining polynomial modulo that prime.

Prime Decomposition: Theory and Ramification

How rational primes factor in the maximal order, ramification indices and residue degrees, and the degree relation that constrains them.

Primes in Arithmetic Progressions

Dirichlet's theorem on primes in arithmetic progressions, equidistribution across residue classes, and computational consequences.

Probabilistic Algorithms: Foundations

The model of randomised computation, Las Vegas and Monte Carlo algorithms, and what a probabilistic guarantee means.

Engineering Mathematics13 Aug 2026 · 26 min read

Proof Techniques in Linear Algebra

The standard proof patterns of linear algebra: definitions as two-way implications, set equality, equivalences, contrapositives, uniqueness, chains of identities and TFAE cycles.

Engineering Mathematics13 Aug 2026 · 23 min read

Properties of Determinants

Transpose invariance, multiplicativity over matrix products, and the equivalence between a zero determinant and singularity, with the consequences for inverses and rank.

Properties of Eigenvalues and Eigenvectors

Eigenvalue theorems: independence for distinct eigenvalues, zero eigenvalues and singularity, and the spectra of powers, polynomials, inverses and transposes.

Engineering Mathematics13 Aug 2026 · 21 min read

Properties of Matrix Inverses

Algebraic rules for matrix inverses: uniqueness, the reversal rule for products, inverse of an inverse, inverse of a transpose and of a scalar multiple.

Engineering Mathematics13 Aug 2026 · 23 min read

Properties of Matrix Multiplication

Associativity, distributivity, the identity and zero matrices, scalar rules, and how transposition, conjugation and the inner product interact with matrix products.

Properties of Matrix Representations

The kernel of a linear transformation is isomorphic to the null space of its matrix representation, and the range to the column space; rank and nullity transfer.

Engineering Mathematics13 Aug 2026 · 21 min read

Properties of Similar Matrices

Similarity is an equivalence relation preserving the characteristic polynomial, eigenvalues, trace, determinant and rank; equal spectra do not imply similarity.

Properties of Vector Spaces

Theorems derived from the vector space axioms alone: uniqueness of the zero vector and inverses, the zero-scalar rules and the three cancellation laws.

Published Tables of Fields and Curves

Standard tables of number fields, elliptic curves, class numbers and factorisations, and how to use them responsibly.

Quadratic Field Discriminants and Integral Bases

Discriminants and integral bases of quadratic fields, given by closed formulas with no computation required.

Quadratic Residues

Quadratic residues modulo a prime, the exact split into residues and non-residues, and the group-theoretic reason for it.

Quadratic Sieve Factor Base Selection

Choosing the factor base for the quadratic sieve, the quadratic residue criterion, and the multiplier.

Quotient Groups

Constructing the quotient group from a subgroup, well-definedness of the induced operation, and the standard examples.

Radical Computation and the Ring of Multipliers

Computing the p-radical of an order as a kernel, and the ring of multipliers that enlarges the order.

Random Variables

Random variables, their distributions, joint behaviour and independence.

Range of a Linear Transformation

The range of a linear transformation: definition, why it is a subspace of the codomain, its identity with the column space, and the surjectivity criterion.

Rank and Nullity of a Linear Transformation

Rank and nullity of a linear transformation: dimensions of the range and kernel, the rank-nullity theorem, and dimension tests for injectivity and surjectivity.

Rank and Nullity of a Matrix

Rank is the dimension of the column space, nullity the dimension of the null space; both come from reduced row-echelon form and sum to the column count.

Rank and Nullity of a Nonsingular Matrix

A square matrix is nonsingular exactly when its rank equals its size and its nullity is zero, with the consolidated list of nonsingular matrix equivalences.

Engineering Mathematics13 Aug 2026 · 24 min read

Ranks and Transposes

A matrix and its transpose always have the same rank, so row rank equals column rank, while their nullities generally differ by the difference in shape.

Rational Function Reconstruction

Recovering a rational function from a residue modulo a polynomial, with degree bounds replacing size bounds.

Rational Function Reconstruction in Symbolic Algebra

Using rational function reconstruction inside computer algebra for exact computation over function fields.

Rational Reconstruction

Recovering a rational number from its residue modulo n, the uniqueness conditions, and the role of the extended Euclidean algorithm.

Rational Reconstruction in Symbolic Algebra

Applying rational reconstruction inside computer algebra systems for exact linear solving, interpolation and gcd computation.

Recovering Abelian Group Structure from a Relation Matrix

Recovering the structure and explicit generators of a finite abelian group from a matrix of relations among a generating set.

Engineering Mathematics13 Aug 2026 · 21 min read

Recycling Definitions in Abstract Vector Spaces

How linear combination, span, relations of linear dependence and linear independence transfer unchanged from column vectors to any abstract vector space.

Engineering Mathematics13 Aug 2026 · 19 min read

Reduced Row-Echelon Form

Definition, uniqueness and engineering use of reduced row-echelon form (RREF): leading ones, pivot columns, zero rows and the canonical form of a matrix under row operations.

Reducing the Error Probability

Amplifying the success probability of a randomised algorithm by independent repetition, for one-sided and two-sided error.

Reduction of Indefinite Forms and the Cycle Structure

Reduction of indefinite binary forms, the cycle of reduced forms in each class, and how the cycle encodes the regulator.

Reduction of Positive Definite Binary Forms

Reducing a positive definite binary quadratic form to the unique reduced form in its class, and the resulting class number algorithm.

Regulator and Fundamental Unit Recovery

Extracting fundamental units and the regulator from the kernel of the relation matrix, and confirming the unit system is fundamental.

Relation Matrix Construction

Generating relations among ideal classes, assembling the sparse matrix, and knowing when enough relations have been collected.

Representing Large Integers

Positional representation of multiprecision integers, base selection, sign handling and normalisation invariants.