搜索结果: 1-4 共查到“数学 Computer Algebra”相关记录4条 . 查询时间(0.108 秒)
ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra
Analysis of Discrete Models Biological Systems Computer Algebra
2011/1/18
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...
A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics
Computer Algebra Harmonic Sums Related Particle Physics
2010/11/11
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...
Integral Inequalities and Computer Algebra Systems
Symbolic computation Numerical integration Simpson's rule Trapezoidal rule Integral inequalities
2008/7/1
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...
UNIVARIATE ORE POLYNOMIAL RINGS IN COMPUTER ALGEBRA
UNIVARIATE POLYNOMIAL RINGS COMPUTER ALGEBRA
2013/9/3
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...