research
∙
05/10/2015
Automating change of representation for proofs in discrete mathematics
Representation determines how we can reason about a specific problem. So...
share
research
∙
03/12/2013
Towards Automated Proof Strategy Generalisation
The ability to automatically generalise (interactive) proofs and use suc...
research
∙
12/14/2012
