New York University.;
机译:关于半代数证明的宽度和算法
机译:半代数和驯服问题的下降方法的收敛性:近端算法,前向后向拆分和正则化高斯-赛德尔方法
机译:使用标准几何中的同步加速器辐射评估数字乳房断层合成重建算法。
机译:算法代数模型检查II:半代数模型检查的可确定性及其在系统生物学中的应用
机译:二次多项式定义的半代数集的算法和拓扑方面
机译:原始研究文章:长度和外径在左心室几何中的重要性。 HUNT研究的正常值
机译:算法半代数几何和拓扑-最新进展和未解决的问题
机译:用于学习和几何的封面应用的高效NC算法。