automath

基本解释

• n.自动数学程序

同根派生

 

• automath相关词