| |
| 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 | EE | Robert Miner, Rajesh Munavalli: An Approach to Mathematical Search Through Query Formulation and Data Normalization. Calculemus/MKM 2007: 342-355 |
| 2006 | ||
| 1 | EE | Rajesh Munavalli, Robert Miner: MathFind: a math-aware search engine. SIGIR 2006: 735 |
| 1 | Manuel Kauers | [3] |
| 2 | Manfred Kerber | [3] |
| 3 | Rajesh Munavalli | [1] [2] |
| 4 | Wolfgang Windsteiger | [3] |