Harvard University;
机译:几何任务中的标准证明,精美证明和不含单词的证明及其动态调查
机译:古代数学的延续:王晓彤的九武素山,代数和几何在七世纪中国
机译:美索不达米亚古代的土地测量:道德的“代数几何”
机译:代数证明证书及其在自动几何定理证明中的应用
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:古代DNA和当代政治:古代DNA挑战古老信念的分析与政治滥用的潜力
机译:无代数解的代数pFaFF方程密度的构造性证明
机译:用于图像数据库索引,图像识别和计算机视觉的代数几何和计算代数几何