1
|
几何定理机器证明的结式矩阵法 |
张景中
杨路
侯晓荣
|
《系统科学与数学》
CSCD
北大核心
|
1995 |
11
|
|
2
|
基于广义子结式和模运算的多项式组最大公因式计算方法 |
蓝翔
杨静
|
《系统科学与数学》
CSCD
北大核心
|
2023 |
0 |
|
3
|
子结式的两个新性质的证明 |
刘美
孙维昆
|
《理论数学》
|
2023 |
0 |
|
4
|
部分子结式性质的改进证明 |
靳琴琴
李永彬
赖开权
|
《大学数学》
|
2013 |
0 |
|
5
|
关于伪余式与子结式的矩阵计算 |
金萌
|
《陕西科技大学学报(自然科学版)》
|
2010 |
0 |
|
6
|
多项式系的子结式矩阵 |
盛中平
|
《东北师大学报(自然科学版)》
CAS
CSCD
北大核心
|
2013 |
2
|
|
7
|
关于4-体问题中心构型的一点研究 |
汤建良
|
《系统科学与数学》
CSCD
北大核心
|
2006 |
2
|
|
8
|
一个关于P5P问题的求解算法 |
汤建良
|
《广西师范大学学报(自然科学版)》
CAS
北大核心
|
2009 |
0 |
|
9
|
确定有限多个曲面实交集的拓扑 |
高犇
陈玉福
|
《华东师范大学学报(自然科学版)》
CAS
CSCD
北大核心
|
2014 |
0 |
|
10
|
有限多条代数平面曲线的拓扑 |
高犇
|
《太原理工大学学报》
CAS
北大核心
|
2013 |
0 |
|