Samþykkt | Titill | Höfundur(ar) |
---|---|---|
27.1.2022 | Enumerating Hertzsprung equivalence classes defined by partitions of the symmetric group of degree three | Bjarki Hartjenstein Gunnarsson 1999- |
30.8.2017 | Formalizing the translation method in Agda | Bjarki Ágúst Guðmundsson 1993- |
8.6.2020 | Listin að telja: Kennslurit í talningar- og fléttufræði fyrir framhaldsskóla | Hulda Hvönn Kristinsdóttir 1994- |
5.6.2023 | Ummyndanir á rakningarvenslum með mótunum | Sigurður Jens Albertsson 1995- |