Christoph Koutschan

	2009
3		Christoph Koutschan: Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem CoRR abs/0906.1018: (2009)
	2008
2		Christoph Koutschan, Viktor Levandovskyy: Computing one of Victor Moll's irresistible integrals with computer algebra. The Computer Science Journal of Moldova 16(1): 35-49 (2008)
1		Christoph Koutschan: Regular languages and their generating functions: The inverse problem. Theor. Comput. Sci. 391(1-2): 65-74 (2008)

Coauthor Index

1

Viktor Levandovskyy

[2]