School of Computer Science Carnegie Mellon University Pittsburgh Pennsylvania;
机译:均质几何图案的正式认证浮点过滤器
机译:几何程序的鲁棒性和效率:谓词构造工具包(PCK)
机译:无错误行列式变换的几何谓词鲁棒算法
机译:希望分支:将条件分支和谓词相结合以进行自适应谓词执行
机译:奇异性理论在动态变形几何对象间相互作用的鲁棒几何计算中的应用
机译:鲁棒指数递减指数(REDI):用于计算累积工作量的自适应鲁棒方法
机译:鲁棒自适应浮点几何谓词
机译:自适应精度浮点算法和快速鲁棒几何谓词