The Z Property by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel Jun 30
The Myhill-Nerode Theorem Based on Regular Expressions by Chunhan Wu, Xingyuan Zhang and Christian Urban Aug 26
Executable Multivariate Polynomials by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp Aug 10
Executable Matrix Operations on Matrices of Arbitrary Dimensions by Christian Sternagel and René Thiemann Jun 17