The Mathieu-24 group is one of the finite simple groups. Formalizing this group is one of the steps towards formalizing the classification theorem of finite simple groups
In an evolutionary transition in individuality, a collection of individuals organizes into a group that
becomes an individual in its own right. Division of labor among individuals in a group is frequently
used as an indicator ...
In this thesis we study the class group of quadratic number fields and function fields over finite fields. Mostly we focus on the 2-primary part of the class group. Methods to calculate the 2-, 4-, and 8-rank of these class ...
We study the following problem. Let P be a simple polygon with n vertices and let B be a set of points
moving along a linear path in P. In other words, the trajectory of an entity b ∈ B is a linear function
[0, 1] → P. ...
