Shang-Ching Chou Xiao-Shan Gao Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. 1-12 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#ChouG92