# Combinatorial Exploration

### ICE-TCS Theory Day (Event page)

03 May 2019

Presented by Henning

In combinatorics, mathematicians often prove theorems by case analysis, reduction to a smaller instance, and other “tricks of the trade”. We have developed a tool, called the CombSpecSearcher, which automates these methods, and is able to prove results featured in dozens of research papers. In this talk we will introduce this tool and apply it to enumerate a particular subset of permutations of length n.