| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Manuel Kauers | [3] |
| 2 | Manfred Kerber | [3] |
| 3 | Rajesh Munavalli | [1] [2] |
| 4 | Wolfgang Windsteiger | [3] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page