立体几何定理的计算机证明
牟来彦
湖北民族学院,信息工程学院,湖北,恩施,445000
摘要：在欧氏几何和向量空间中,结合二者的关系,把几何问题转换为代数问题,利用MATLAB的相关知识,编写源代码文件,用计算机证明立体几何中的直线垂直于平面的判定定理,为机器证明定理提供了一个实例.
关键词：向量空间基坐标MATLAB
分类号：O242(计算数学)
论文发表日期：2002-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 20-22 )
英文信息