杨路
- 作品数：29 被引量：242H指数：11
- 供职机构：中国科学院成都计算机应用研究所更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：理学自动化与计算机技术电子电信哲学宗教更多>>
- 一类构造性几何定理并行数值检验证明机(英文)被引量：3
- 2002年
- 为实现构造性几何定理机器证明的数值并行法 ,作者提供了一个证明机 ,它适用于由所谓“直线程序”
- 杨路张景中李传中
- 关键词：机器证明
- 多项式判别矩阵的若干性质及其应用被引量：5
- 2003年
- 具有文字系数的多项式f(x),其判别矩阵是f与f’的Sylvester矩阵通过添加一行一列而得。已经知道,判别矩阵的偶数阶主子式的符号确定了f(x)的相异根(实根、复根)的数目。这里介绍如何将奇数阶与偶数阶主子式相结合用以判定该多项式的相异负根或正根的数目,并进一步判定其在区间上的实根数。本文还研究了与判别矩阵相关的一些实用性质,并应用这些性质给出了4次键合多项式不能正分解的一组简洁的充分必要条件。
- 夏壁灿杨路
- 关键词：多项式初等变换
- 多项式的完全判别系统被引量：38
- 1996年
- 符号(文字)系数多项式的1个完全判别系统是由这些系数构成的1组显式表达式,这组表达式足够判定该多项式的实根和虚根的数目及相应的重数,这样1个关于多项式根的分类的显式判准,对于五次及五次以上多项式迄今无人给出.这方面有效工具的缺乏,严重地妨碍了TarsKi的判定算法及近期的一些机器证明方法的计算机实现.为了弥补这一缺陷,提出了对任意次数的多项式建立完全判别系统的1个通用算法.这一结果在各个不同的领域会有广泛的应用,且其有效性已通过计算机实现于以证实.
- 杨路侯晓荣曾振柄
- 关键词：多项式
- 关于吴氏非退化条件的一点注记
- 1992年
- 对多项式组PS:h_1(y_1…,y_n),…,h_s(y_1,…,y),由里特-吴整序原理,经适当更换诸yi的记法,可得一升列AS:f_1(u,)x_1),f_2(u,x_1,x_2),…,f_r(u,x_1,…,x_r),其中u=(u_1,u_2,…,u_d)。
- 张景中杨路侯晓荣
- 关键词：代数方程组
- 一类构造性几何不等式的机器证明被引量：43
- 2003年
- 阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效 .
- 杨路夏时洪
- 关键词：机器证明
- 几何定理机器证明的结式矩阵法被引量：15
- 1995年
- 本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法．由于使用了吴除法及子结式计算，我们也称这种方法为ＷＲ分解算法．
- 张景中杨路侯晓荣
- 关键词：几何定理
- 初等图形在欧氏空间的实现问题
- 1995年
- 本文提出并解决了下列问题：设ｅ１，ｅ２，…，ｅＮ是预给了两两之间的度量的几何元素，包括点、超平面和超球。图形｛ｅ１，ｅ２…，ｅＮ｝能否在ｎ维欧氏空间实现？如能实现，如何给出它们在某一坐标系中的坐标及方程？
- 张景中杨路杨孝春
- 关键词：欧氏空间超球
- 几何定理机器证明的WE完全方法被引量：13
- 1995年
- 在几何定理机器证明的各种方法中，吴氏方法获得了显著的成功．如预先把有关代数簇分解为不可约簇，则吴氏方法可成为完全方法．本文在吴法的基础上，以辗转伪除法为辅助工具，发展出一种不必预先分解代数簇的完全方法，并给出一些手算实例．
- 张景中杨路侯晓荣
- 关键词：机器证明
- 差分代换与不等式机器证明被引量：38
- 2006年
- 设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明该程序对许多情况有效.不少次数较高或变量较多的多项式,除了SDS,还没有任何其他软件能做.
- 杨路
- 关键词：差分代换
- 基于图形码子母印章族信息关联机制的软证件防伪方法
- 本发明为一种基于图形码子母印章族信息关联机制的软证件防伪方法，证件的子母印章族中嵌入了持证人知识型隐私特征信息，子母印章信息之间有逻辑约束关系，能够杜绝假冒欺骗；证件的不可模仿性主要由密钥和持证人知识特征信息的逻辑结果来...
- 王晓京万武南宋春雨刘旸吴玲玲孙宣东曹晟粟伟张景中杨路
- 文献传递
