广义构造序列相关论文
本文提出了几何约束求解的轨迹相交法.这一方法理论上可以给出约束问题的所有数值解,实际测试效率也相当高.我们将这一方法用于复......
该文先介绍了Owen和Hoffmann的工作,然后利用Latham-Middleditch思想和C树的性质提出了基于关系图的图分解算法,把关系图以邻接表......
几何约束求解的一种基本想法是根据一些规则将一个复杂的几何约束问题分解为若干个相对容易求解的子问题,然后再将这些子问题装配......
该文将动态几何与一般几何自动作图方法结合,提出智能动态几何的观念,并开发了相应软件MMP/Geometer,作为国家973项目"数学机械化......
为了有效分解几何约束系统,本文提出了一种基于增量LMA（ILMA）算法的扩展C-树分解法,该方法将几何约束系统分解为一棵扩展C-树。与C-......
