Discrete mathematics is the study of finite or countable discrete structures; it spans such topics as graph theory, coding theory, design theory, and enumeration. The faculty at Michigan Tech ...

Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

Algebraic structures such as groups, rings and modules provide a rigorous framework for organising and manipulating mathematical objects. Graph theory, concerned with vertices connected by edges, has ...

How can the behavior of elementary particles and the structure of the entire universe be described using the same mathematical concepts? This question is at the heart of the recent work by ...