2009년 Makinson一个公开问题的注记 Makinson一箇公開問題的註記 Makinson일개공개문제적주기

2008년 一类特殊的归纳环及双向归纳环 一類特殊的歸納環及雙嚮歸納環 일류특수적귀납배급쌍향귀납배

2008년 完全稠密二叉偏序理论可量词消去的新证明 完全稠密二扠偏序理論可量詞消去的新證明 완전주밀이차편서이론가량사소거적신증명

2008년 三素元组猜想对于Peano公理组的条件独立性 三素元組猜想對于Peano公理組的條件獨立性 삼소원조시상대우Peano공리조적조건독립성

2008년 完全稠密二叉偏序理论的量词消去(Ⅰ) 完全稠密二扠偏序理論的量詞消去(Ⅰ) 완전주밀이차편서이론적량사소거(Ⅰ)

2007년 完全稠密二叉偏序理论的可数模型 完全稠密二扠偏序理論的可數模型 완전주밀이차편서이론적가수모형

2007년 关于一类不定方程有解的一般性结论 關于一類不定方程有解的一般性結論 관우일류불정방정유해적일반성결론

2007년 基于动态分割和加权综合匹配的音乐检索算法 基于動態分割和加權綜閤匹配的音樂檢索算法 기우동태분할화가권종합필배적음악검색산법

2007년 完全分叉树理论可量词消去的新证明 完全分扠樹理論可量詞消去的新證明 완전분차수이론가량사소거적신증명

2007년 王世强先生简介 王世彊先生簡介 왕세강선생간개

2011년 关于机器证明 關于機器證明 관우궤기증명

2010년 友谊第一!质疑万岁! 友誼第一!質疑萬歲! 우의제일!질의만세!

2009년 基于AIS的垃圾邮件双层过滤方法的研究 基于AIS的垃圾郵件雙層過濾方法的研究 기우AIS적랄급유건쌍층과려방법적연구

2009년 Velocity+Spring 2.0+Hibernate的Web应用开发框架 Velocity+Spring 2.0+Hibernate的Web應用開髮框架 Velocity+Spring 2.0+Hibernate적Web응용개발광가

2009년 几乎一切Mersenne数与Fermat数都是素数 幾乎一切Mersenne數與Fermat數都是素數 궤호일절Mersenne수여Fermat수도시소수

2008년 基于粒子群优化的SVR算法与BP网络的比较研究 基于粒子群優化的SVR算法與BP網絡的比較研究 기우입자군우화적SVR산법여BP망락적비교연구

2007년 一些5次数环的具有Goldbach性质的扩环 一些5次數環的具有Goldbach性質的擴環 일사5차수배적구유Goldbach성질적확배

2007년 王世强先生简介 王世彊先生簡介 왕세강선생간개

2006년 基于大数据量遥感图像的薄云去除 基于大數據量遙感圖像的薄雲去除 기우대수거량요감도상적박운거제

2006년 一种新的中文文本分类算法 一種新的中文文本分類算法 일충신적중문문본분류산법