Verified Algorithms for Solving Markov Decision Processes by Maximilian Schäffeler and Mohammad Abdulaziz Dec 16
Simplicial Complexes and Boolean functions by Jesús Aransay, Alejandro del Campo and Julius Michaelis Nov 29
Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation by Ralph Bottesch, Jose Divasón and René Thiemann Mar 12
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information by Anthony Bordg, Hanna Lachnitt and Yijun He Nov 22
Quantum Hoare Logic by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan Mar 24
Farkas' Lemma and Motzkin's Transposition Theorem by Ralph Bottesch, Max W. Haslbeck and René Thiemann Jan 17
Perron-Frobenius Theorem for Spectral Radius Analysis by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada May 20