Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

Christoph Koutschan

Published in: CoRR (2009)

Keyphrases

interactive theorem proving
human experts
human interaction
case study
human activities
human subjects
theorem proving
linear logic