Robert Miner

According to our database, Robert Miner authored at least 2 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

An Approach to Mathematical Search Through Query Formulation and Data Normalization.

Robert Miner, Rajesh Munavalli

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

MathFind: a math-aware search engine.

Rajesh Munavalli, Robert Miner

Proceedings of the SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2006