A toolbox for nonlinear dynamics. (English)
Computer aided proofs in analysis, Proc. IMA Participating Inst. Conf., Cincinnati/OH (USA), IMA Vol. Math. Appl. 28, 97-115 (1991).
1
Processing Poisson series in parallel. (English)
J. Symb. Comput. 10, No.2, 179-201 (1990).
2
Massively parallel symbolic computation (English)
ISSAC, 308-316 (1989).
3
Start
Contact
Print
General Help
