姜立夫为中国数学界奔走劳碌，由他领导的“数学名词”审定工作基本完成