Algebra - Data processing.

Computer algebra methods for equivariant dynamical systems by: (書目-語言資料,印刷品)

Formal verification of structurally complex multipliers by: (書目-電子資源)

Computer algebra = an algorithm-oriented introduction / by: (書目-電子資源)

Network reliability : = experiments with a symbolic algebra environment / by: (書目-語言資料,印刷品)

Elements of computer algebra with applications / by: (書目-語言資料,印刷品)

The Maple book / by: (書目-語言資料,印刷品)

Grobner bases : = a computational approach to commutative algebra / by: (書目-語言資料,印刷品)

Computer algebra methods for equivariant dynamical systems / by: (書目-語言資料,印刷品)

Symbolic C++ : = an introduction to computer algebra using object-oriented programming / Tan Kiat Shi, Willi-Hans Steeb and Yorick Hardy. by: (書目-語言資料,印刷品)

Introduction to Maple / by: (書目-語言資料,印刷品)

Algebra for symbolic computation by: (書目-電子資源)

First leaves : = a tutorial introduction to Maple V / by: (書目-語言資料,印刷品)

Algebraic and algorithmic aspects of differential and integral operators = 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / by: (書目-電子資源)

MATLAB symbolic algebra and calculus tools by: (書目-電子資源)

Mathematica = a problem-centered approach / by: (書目-電子資源)