质点法机器证明视角下的近世几何研究

质点法机器证明视角下的近世几何研究

李涛邹宇

Research of modern geometry based on mass point method

LI Tao ZOU Yu

计算机应用 . 2012, (11): 3057 -3061 . DOI: 10.3724/SP.J.1087.2012.03057