中国科学院数学与系统科学研究院数学机械化重点实验室 
研究主题：共形几何代数 秘密共享 门限秘密共享 特殊权限 门限
研究学科：自动化类 电子信息类 机械类
- 共形几何代数——几何代数的新理论和计算框架 ( EI收录)
- 1
- 《计算机辅助设计与图形学学报》中国科学院数学机械化重点实验室 李洪波 出版年：2005
- 关键词：共形几何代数 几何语言 几何建模 几何计算 零括号代数
- 共形几何代数与几何不变量的代数运算 ( EI收录)
- 2
- 《计算机辅助设计与图形学学报》中国科学院数学机械化重点实验室 李洪波 出版年：2006
- 关键词：共形几何代数 零括号代数 几何不变量 几何计算 几何还原
- 共形几何代数与运动和形状的刻画 ( EI收录)
- 3
- 《计算机辅助设计与图形学学报》中国科学院数学机械化重点实验室 李洪波 出版年：2006
- 关键词：共形几何代数 刚体运动 单眼视觉 形状逼近 曲线拼接
- 数字签名方案中的孤悬因子和冗余数据 ( EI收录)
- 4
- 《计算机学报》中国科学院数学与系统科学研究院数学机械化重点实验室 曹正军 刘木兰 出版年：2006
- 关键词：孤悬因子 冗余数据 多重签名 代理签名 盲签名
- 参数化CAD中参数的有效范围 ( EI收录)
- 5
- 《计算机辅助设计与图形学学报》中国科学院数学与系统科学研究院数学机械化重点实验室;清华大学软件学院 蒋鲲 朱长才 高小山 出版年：2003
- 关键词：参数化 CAD 几何实体 几何元素 计算机辅助设计
- 构造两个曲面的拼接曲面
- 6
- 《工程图学学报》中国科学院数学与系统科学研究院数学机械化重点实验室 程进三 高小山 出版年：2005
- 关键词：计算机应用 曲面拼接 参数曲面 BEZIER曲线
- 高斯曲率约束的MRG骨架提取优化算法 ( EI收录)
- 7
- 《计算机辅助设计与图形学学报》辽宁师范大学计算机与信息技术学院;中国科学院数学与系统科学研究院数学机械化重点实验室 韩丽 楚秉智 高小山 出版年：2009
- 关键词：多分辨率Reeb图 离散高斯曲率 骨架提取
- 几何约束求解与复杂连杆机构的模拟 ( EI收录)
- 8
- 《计算机辅助设计与图形学学报》中国科学院数学与系统科学研究院数学机械化重点实验室;美国普渡大学计算机系 高小山 张桂芳 杨伟强 出版年：2003
- 关键词：复杂连杆机构 动态模拟 图论 几何约束求解 CAD
- 离散曲率约束的三角网格模型拓扑分割算法 ( EI收录)
- 9
- 《计算机辅助设计与图形学学报》辽宁师范大学计算机与信息技术学院;中国科学院数学与系统科学研究院数学机械化重点实验室 韩丽 高小山 楚秉智 出版年：2009
- 关键词：高斯曲率 三角网格 区域增长法 拓扑结构
- 基于几何约束求解的完备方法 ( EI收录)
- 10
- 《计算机辅助设计与图形学学报》中国科学院软件研究所人机交互与智能信息处理实验室;中国科学院数学与系统科学研究院数学机械化重点实验室;中国科学院自动化研究所国家重点实验室 林强 高小山 刘媛媛 陈颖 戴国忠 出版年：2007
- 关键词：参数化CAD 智能连杆 几何约束求解
