...
机译:曲面的正式去奇化:再谈Jung方法
resolution of singularities; algebraic power series; quasi-ordinary polynomials;
机译:使用形式化去奇化的超曲面的伴随计算
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:关于在自由表面流动问题中的下光边界积分法的准确性
机译:灵丹妙药或学术性的poppycock:重新审视正式方法
机译:高风险图的C(星)-代数:Desingularization和groupoid方法。
机译:弗洛伊德荣格和博阿斯:重新审视了人类学的精神分析学
机译:曲面的正式去奇化:重新使用Jung方法
机译:重审十诫。形式化方法产业化应用的十年视角