机译:Zariski光谱为形式几何
Zariski spectrum; Structure sheaf; Local ring; Universal property; Formal topology; Point-free; Constructive; Predicative;
机译:Zariski光谱为形式几何
机译:椭圆表面和Zariski N-plet二等分的几何
机译:准最小结构,组和Zariski式几何
机译:GPS Inter-GPS:用正式语言和象征推理解决可解释的几何问题
机译:精神分裂症频谱精神病患者的社区样本中的正式思想障碍和功能结果。
机译:模和形式不变量理论以及模几何的最新进展
机译:Zariski光谱为形式几何
机译:具有形式任务结构和动态几何的力建模力。