简介：摘要：本文重点讨论射影几何符号计算的两个基本问题：①投影几何特性应如何解析编写？用算法表示“射影几何属性”领域语言中的一阶公式，并转换为方括号（或不变式）解析几何语言中的受限类公式。这种特殊形式对应于合成射影几何中的陈述，并且该算法是转换几何的基本步骤。②解析几何定理如何证明？不变射影给出了解析射影几何定理。希尔伯特零点定理派生的理论在证明中起着核心作用。为证明关于所有字段或有序字段上“几何特性”的开放定理，一种算法会推导零点定理恒等式，从而在证明中提供最大的代数简单性和最大的信息。最后结果支持这样的建议，即应使用不变语言中的标识直接执行计算分析投影几何。
客服QQ：30444492琼网文【2021】1550-113号
增值电信业务经营许可证：琼B2-20210322
出版物经营许可证：新出发龙华出字第(2021)009号
广播电视节目制作经营许可证：(琼)字第00779号
版权所有 ©2002-2024 期刊网 琼ICP备2021005105号
