## 2024

##### Undecidability Results on Orienting Single Rewrite Rules

by René Thiemann, Fabian Mitterwallner and Aart Middeldorp
Apr 25

## 2023

##### The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan
Apr 27

## 2022

##### A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

by Katherine Kosaian, Yong Kiam Tan and André Platzer
Dec 15

## 2021

##### Solving Cubic and Quartic Equations

by René Thiemann
Sep 03

## 2017

##### Linear Recurrences

by Manuel Eberl
Oct 12