"Strong interplay between the abstract exposition, which includes the relevant theorems as well as their proofs, and the practical utilization of those concepts in Mathematica is certainly a remarkable feature of this textbook. ... Overall, the book is very well written and the approach to provide examples as actual Mathematica sessions is commendable." (Andreas Maletti, zbMATH 1484.68004, 2022)
Symbolic and algebraic algorithms.- Computer algebra systems.- Mathematical software.- Modeling and simulation.- Design and analysis of algorithms.- Computability.- Complexity.- Elliptic curves.- Numerical analysis.- Differential equations.- Applications to natural sciences and engineering.- Parallel computing.