Robert Miner

	2007
3		Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Springer 2007
2		Robert Miner, Rajesh Munavalli: An Approach to Mathematical Search Through Query Formulation and Data Normalization. Calculemus/MKM 2007: 342-355
	2006
1		Rajesh Munavalli, Robert Miner: MathFind: a math-aware search engine. SIGIR 2006: 735

Coauthor Index

1	Manuel Kauers	[3]
2	Manfred Kerber	[3]
3	Rajesh Munavalli	[1] [2]
4	Wolfgang Windsteiger	[3]

Colors in the list of coauthors