搜索页_Computer+algebra

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

GSW全文库(11)	馆藏书目(7)	CNKI会议论文(25)	CNKI期刊论文0611(10)
中国地质文献-英文(2)	Springer电子图书(442)	CNKI学位论文(14940)	知网期刊论文(7663)

在“SpringerLink电子期刊”中，命中：6,553条，耗时：0.0719586 秒

在所有数据库中总计命中：23,100条

1. Leibniz Algebras Associated with Representations of the Diamond Lie Algebra

作者： Selman Uguz ; Iqbol A. Karimjanov ; Bakhrom A. Omirov

关键词：Diamond lie algebra ; Leibniz algebra ; Representation of diamond lie algebra ; Fock representation ; Heisenberg lie algebra ; Linear deformation ; The second group of cohomology

刊名：Algebras and Representation Theory

出版年：2017

2. Some open problems related to creative telescoping

作者： Shaoshi Chen ; Manuel Kauers

关键词：Computer algebra ; creative telescoping ; differential algebra ; linear operators ; ore algebras ; symbolic integration ; symbolic summation

刊名：Journal of Systems Science and Complexity

出版年：2017

3. Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

作者： Edward Zulkoski ; Curtis Bright ; Albert Heinle…

刊名：Journal of Automated Reasoning

出版年：2017

4. Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory

作者： Gabriele Kern-Isberner ; Marco Wilhelm…

关键词：Probabilistic knowledge representation ; Principle of maximum entropy ; Computer algebra ; Gröbner basis

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

5. A Linear Algebra Attack on the Non-commuting Cryptography Class Based on Matrix Power Function

关键词：Cryptography ; Post ; quantum computational cryptography ; Cryptanalysis ; Asymmetric cipher ; Matrix power function

刊名：Lecture Notes in Computer Science

出版年：2017

6. New differentially 4-uniform permutations by modifying the inverse function on subfields

作者： Jie Peng ; Chik How Tan

关键词：S ; box ; Differentially 4 ; uniform permutation ; Algebraic degree ; Nonlinearity ; CCZ ; equivalent

刊名：Cryptography and Communications

出版年：2017

7. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

8. Category-theoretic models of algebraic computer systems

作者： S. P. Kovalyov

关键词：algebraic computer system ; semiprimal algebra ; structural category of algebras ; modular arithmetic

刊名：Computational Mathematics and Mathematical Physics

出版年：2016

9. Unitary Quantum Relativity

作者： David Ritz Finkelstein

关键词：Quantum theory ; Spacetime

刊名：International Journal of Theoretical Physics

出版年：2017

10. Cooperation of KeTCindy and Computer Algebra System

关键词：KeTCindy ; Cinderella ; Dynamic geometry software ; Computer algebra system ; Maxima ; Risa/Asir

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(6553)

题名(159)

作者(2)

关键词(208)

文摘(1261)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700