A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL by Katherine Kosaian, Yong Kiam Tan and André Platzer Dec 15
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics by Chelsea Edmonds and Lawrence C. Paulson Apr 21