WordNet (r) 3.0 (2006):Regiomontanus n 1: German mathematician and astronomer (1436-1476) [syn: Muller, Johann Muller, Regiomontanus]