中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

已选(0)清除 条数/页：   排序方式：
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774
作者:  Feng RuYong;  Yu JianPing
收藏  |  浏览/下载：146/0  |  提交时间：2018/07/30
mechanical theorem proving  Wu-Ritt's characteristic set method  local theory of surface  Wronskian determinant  
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2008, 卷号: 21, 期号: 2, 页码: 191-208
作者:  Chai, Fengjuan;  Gao, Xiao-Shan;  Yuan, Chunming
收藏  |  浏览/下载：143/0  |  提交时间：2018/07/30
Boolean equation  characteristic set method  cryptanalysis  finite field  stream ciphers  
Automated reasoning and equation solving with the characteristic set method 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 卷号: 21, 期号: 5, 页码: 756-764
作者:  Wu, Wen-Tsun;  Gao, Xiao-Shan
收藏  |  浏览/下载：126/0  |  提交时间：2018/07/30
characteristic set method  automated reasoning  first order theory  difference equation  
Involutive characteristic sets of algebraic partial differential equation systems 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2003, 卷号: 46, 期号: 4, 页码: 469-487
作者:  Chen, YF;  Gao, XS
收藏  |  浏览/下载：110/0  |  提交时间：2018/07/30
involutive characteristic set  integrability conditions  algebraic partial differential equation system  Wu-Ritt's characteristic set method