理学 >>> 数学 信息科学与系统科学 物理学 化学 天文学 地球科学总论 大气科学 地球物理学 地理学 地质学 水文学 海洋科学 生物学 科学技术史
搜索结果: 1-8 共查到理学 computer algebra相关记录8条 . 查询时间(0.062 秒)
Motivation: Many biological systems are modeled qualitatively with discrete models,such as probabilistic Boolean networks, logical models, bounded Petri nets, and agent-based models. Simulation is a c...
Motivation: Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, bounded Petri nets, and agent-based models. Simulation is a ...
In this work we present the computer algebra package HarmonicSums and its theoretical background for the manipulation of harmonic sums and some related quantities as for example Euler-Zagier sums and...
Theoretical results involving approximation of integrals are often established from the construction and resultant manipulation of an appropriate kernel. The systematic use of these kernels has produ...
2005Vol.44No.4pp.609-610DOI: Comment on “Computer Algebra and Solutions to the Karamoto-Sivashinsky Equation” [Commun. Theor. Phys. (Beijing, China) 43 (2005) 39] LIU Chun-Ping ...
2005Vol.43No.1pp.39-44DOI: Computer Algebra and Solutions to the Karamoto-Sivashinsky Equation XIE Fu-Ding1,2 and YUAN Zhan-Ting2 1 Department of Computer Science, Lan...
2004Vol.41No.3pp.353-356DOI: Applications of Computer Algebra in Solving Nonlinear Evolution Equations XIE Fu-Ding1,2 and GAO Xiao-Shan2 1 Department of Computer Science...
We present some algorithms related to rings of Ore polynomials (or, briefly, Ore rings) and describe a computer algebra library for basic operations in an arbitrary Ore ring. The library can be used a...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...