Images from our research
The following images arise from research carried out by the faculty, organized by subfield.
Commutative algebra

The animated monomial diagram above illustrates the use of the signature-redundant criterion, used to guarantee termination in signature-based algorithms to compute a Gröbner basis.
Graph theory

The graph above is a counterexample to a conjecture on the size of the neighborhoods of independent sets.
Partial differential equations

The ground state and contour of the problem Δu + u3 = 0, u > 0, on D,
u = 0 on ∂D with D being a nonconcentric annular domain.
