1993年10月11日，紫金山天文台向中科院学部委员、北京天文台研究员王绶琯颁布小行星命名书：谨以我台发现的国际编号为3171号的小行星，命名为王绶琯星，刊布于世，永载史册。