首页> 外文期刊>urnal of Symbolic Computation >Simple CAD Construction and its Applications
【24h】

Simple CAD Construction and its Applications

机译:简单的CAD构造及其应用

获取原文
获取原文并翻译 | 示例
       

摘要

This paper presents a method for the simplification of truth-invariant cylindrical al- gebraic decompositions (CADs). Examples are given that demonstrate the usefulness of the method in speeding up the solution formula construction phase of the CAD- based quantifier elimination algorithm. Applications of the method to the construction of truth-invariant CADs for very large quantifier-free formulas and quantifier elimination of non-prenex formulas are also discussed.
机译:本文提出了一种简化真不变的圆柱代数分解(CAD)的方法。举例说明了该方法在加快基于CAD的量词消除算法的求解公式构建阶段方面的有用性。还讨论了该方法在构造非常大的无量纲公式的真不变CADs以及非先例公式的量消除中的应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号