Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics by Chelsea Edmonds and Lawrence C. Paulson Apr 21
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel Nov 23
The Factorization Algorithm of Berlekamp and Zassenhaus by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada Oct 14
Perron-Frobenius Theorem for Spectral Radius Analysis by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada May 20