Regular Tree Relations by Alexander Lochmann 📧, Bertram Felgenhauer, Christian Sternagel 🌐, René Thiemann 🌐 and Thomas Sternagel Dec 15
A Formalization of Weighted Path Orders and Recursive Path Orders by Christian Sternagel 📧, René Thiemann 📧 and Akihisa Yamada 📧 Sep 16
Homogeneous Linear Diophantine Equations by Florian Messner 📧, Julian Parsert 📧, Jonas Schöpf 📧 and Christian Sternagel 📧 Oct 14
The Z Property by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel 📧 Jun 30
Executable Transitive Closures of Finite Relations by Christian Sternagel 📧 and René Thiemann 📧 Mar 14
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